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: 07 Apr 2025
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/janislley/lsverifier
LSVerifier - Large Systems Verifier
bounded-model-checking c-language formal-verification model-checking open-source-software security-vulnerabilities software-verification
Last synced: 10 Apr 2025
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: 18 Mar 2025
https://github.com/tniessen/hyena0
Prototype implementation of a hyperbug finder for ∀∃-safety hyperproperties to accompany the OOPSLA 2024 paper "Finding ∀∃ Hyperbugs using Symbolic Execution" by Arthur Correnson, Tobias Nießen, Bernd Finkbeiner, and Georg Weissenbacher.
bounded-model-checking hyperproperties infinite-state-systems symbolic-execution
Last synced: 07 May 2025
