https://github.com/esbmc/esbmc

The efficient SMT-based context-bounded model checker (ESBMC)
https://github.com/esbmc/esbmc

automated-testing automated-verification bmc c cheri cp-solver cpp incremental-learning k-induction kotlin python smt-solver solidity-contracts

Last synced: about 10 hours ago
JSON representation

The efficient SMT-based context-bounded model checker (ESBMC)

• Host: GitHub
• URL: https://github.com/esbmc/esbmc
• Owner: esbmc
• License: other
• Created: 2015-06-20T19:35:34.000Z (over 10 years ago)
• Default Branch: master
• Last Pushed: 2026-01-19T07:15:13.000Z (15 days ago)
• Last Synced: 2026-01-19T08:24:20.453Z (14 days ago)
• Topics: automated-testing, automated-verification, bmc, c, cheri, cp-solver, cpp, incremental-learning, k-induction, kotlin, python, smt-solver, solidity-contracts
• Language: C
• Homepage: http://esbmc.org/
• Size: 65.2 MB
• Stars: 424
• Watchers: 18
• Forks: 123
• Open Issues: 506
• Metadata Files:
  • Readme: README.md
  • License: COPYING
  • Citation: CITATION.cff

Awesome Lists containing this project