machine-check
Machine-check is a formal verification tool/library for systems described in the Rust programming language, usable for e.g. machine-code or hardware verification.
Get started
Machine-check is a formal verification tool/library for systems described in the Rust programming language, usable for e.g. machine-code or hardware verification.
Get startedDescribe arbitrary finite-state systems as Finite-State Machines in Rust.
Automatically verify whether the systems fulfil properties in Computation Tree Logic and/or propositional μ-calculus.
Explore the abstract state space of the system and determine the causes of bugs.