Ecosyste.ms: Awesome
An open API service indexing awesome lists of open source software.
Projects in Awesome Lists tagged with bounded-model-checking
A curated list of projects in awesome lists tagged with bounded-model-checking .
https://github.com/sri-csl/sally
A model checker for infinite-state systems.
bounded-model-checking ic3 k-induction model-checker transition-systems verification
Last synced: 06 Nov 2024
https://github.com/janislley/lsverifier
LSVerifier - Large Systems Verifier
bounded-model-checking c-language formal-verification model-checking open-source-software security-vulnerabilities software-verification
Last synced: 01 Nov 2024
https://github.com/janislley/LSVerifier
LSVerifier - Large Systems Verifier
bounded-model-checking c-language formal-verification model-checking open-source-software security-vulnerabilities software-verification
Last synced: 19 Dec 2024
https://github.com/porglezomp/hyalite
A bounded model checker for an IMP-style imperative language.
bounded-model-checking model-checker smt symbolic-execution z3
Last synced: 27 Oct 2024