Merlin OS: Building Trust in RISC OS Merlin with Formal Verification Methods

In this article, we ll take a look at an important new effort I am adding to my operating system, Merlin OS: formal verification, using a set of tools available to all Rust developers, as well as some custom ones. Disclaimer This article is not a comprehensive tutorial to software verification. It merely describes the work [ ]