Machine-check usability
Formal verification of software written in machine code
Machine-check is a tool for formal verification of digital systems, able to automatically determine whether a system described in a subset of the Rust language fulfills some specification. This project aims to improve it in multiple areas such as the usability of its graphical user interface, the ease of writing system descriptions and properties, and the ability to compose systems from parts.
- The project's own website: https://machine-check.org
This project was funded through the NGI0 Commons Fund, a fund established by NLnet with financial support from the European Commission's Next Generation Internet programme, under the aegis of DG Communications Networks, Content and Technology under grant agreement No 101135429. Additional funding is made available by the Swiss State Secretariat for Education, Research and Innovation (SERI).
