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: 20 Aug 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: 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/helcsnewsxd/cbmc-analysis-report
Technical report on CBMC (C Bounded Model Checker) - Software Engineering II course project - Computer Science @ FAMAF (UNC)
bounded-model-checking cbmc cryptography ctf-writeup famaf formal-verification software-engineering static-analysis university-project
Last synced: 02 Jul 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 Feb 2026
