https://ssvlab.github.io/esbmc/

The efficient SMT-based bounded model checker
https://ssvlab.github.io/esbmc/

Last synced: 5 months ago
JSON representation

The efficient SMT-based bounded model checker

• Host: GitHub
• URL: https://ssvlab.github.io/esbmc/
• Owner: ssvlab
• License: other
• Fork: true (esbmc/esbmc)
• Created: 2016-08-29T11:34:50.000Z (over 8 years ago)
• Default Branch: master
• Last Pushed: 2016-08-03T17:40:44.000Z (over 8 years ago)
• Last Synced: 2024-05-22T00:13:30.174Z (11 months ago)
• Language: C++
• Size: 1.85 MB
• Stars: 3
• Watchers: 0
• Forks: 0
• Open Issues: 0

Awesome Lists containing this project

• static-analysis - ESBMC - bounded model checker based on satisfiability modulo theories for the verification of single- and multi-threaded C/C++ programs. (Programming Languages)