Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with formal-verification-methods
A curated list of projects in awesome lists tagged with formal-verification-methods .
https://github.com/ligurio/practical-fm
A gently curated list of companies using verification formal methods in industry
coq formal-methods formal-verification formal-verification-methods practice software-engineering tla-specification tlaplus
Last synced: 09 Aug 2024