|
esbmc
☆
« Back to VersTracker
|
||||||||||||||||||||||||||||||||||||||||
|
Description: Efficient SMT-based context-bounded model checker for C, C++, and Python |
||||||||||||||||||||||||||||||||||||||||
| Type: Formula | Tracked Since: Jul 11, 2026 | ||||||||||||||||||||||||||||||||||||||||
| Links: Homepage | formulae.brew.sh | ||||||||||||||||||||||||||||||||||||||||
| Install: brew install esbmc | ||||||||||||||||||||||||||||||||||||||||
| Version History | ||||||||||||||||||||||||||||||||||||||||
|