0 "formal-methods" Awesome Lists
awesome-formal-verification
Welcome to the ultimate list of resources for formal verification techniques and tools. This repository aims to provide an organized collection of high-quality resources to help professionals, researchers, and enthusiasts stay updated and advance their knowledge in the field.
awesome awesome-list awesome-resources formal-languages formal-methods formal-specification formal-verification hardware-verification model model-checking
102 stars
10 forks
121 projects
Last updated: 29 Mar 2026
awesome-sat-solvers
A curated collection of resources for the Boolean Satisfiability Problem (SAT).
automate-reasoning awesome awesome-list deductive-reasoning formal-methods logic optimization sat sat-solver smt
44 stars
2 forks
130 projects
Last updated: 30 Mar 2026