+

esbmc

All

13 repositories

esbmc
Public
The efficient SMT-based context-bounded model checker (ESBMC)
kotlin python c cpp smt-solver k-induction automated-testing incremental-learning bmc solidity-contracts
C
•
Other
•118•391•422•70•Updated Oct 17, 2025Oct 17, 2025
compile-flags
Public
Multi-language compilation flags detector tool.
Python
•
GNU Affero General Public License v3.0
•0•0•0•2•Updated Oct 15, 2025Oct 15, 2025
verify-rust-std
Public
Verifying the Rust standard library
Rust
•
Other
•14k•3•0•2•Updated Oct 12, 2025Oct 12, 2025
esbmc-ai
Public
Automated Code Repair suite powered by ESBMC and LLMs.
ai artificial-intelligence bounded-model-checking bmc automated-program-repair esbmc llm llms
C
•
Other
•9•39•47•3•Updated Oct 11, 2025Oct 11, 2025
esbmc-python-cpp
Public
ESBMC-Python-CPP is an extension of ESBMC to verify Python programs using shedskin
Python
•0•1•7•1•Updated Oct 7, 2025Oct 7, 2025
ld2json
Public
Converts linker script to JSON
Linker Script
•
MIT License
•0•0•0•0•Updated Aug 11, 2025Aug 11, 2025
ethcheck
Public
A command-line tool for verifying the Ethereum Consensus Specification
Python
•
Apache License 2.0
•0•2•0•0•Updated Jul 11, 2025Jul 11, 2025
goto-transcoder
Public
A transcoder for GOTO programs
Rust
•
MIT License
•0•1•1•0•Updated Jun 10, 2025Jun 10, 2025
esbmc-action
Public
An action for verifying files using the ESBMC.
0•0•0•0•Updated Aug 21, 2024Aug 21, 2024
libltl2ba
Public
A library-fied version of ltl2ba
C
•
GNU General Public License v2.0
•2•4•0•0•Updated Aug 19, 2024Aug 19, 2024
ls-verifier-action
Public
Dockerfile
•0•0•0•0•Updated Jul 16, 2024Jul 16, 2024
C-instrumentator
Public
A C instrumentation library
C++
•
MIT License
•1•1•0•0•Updated Jul 1, 2024Jul 1, 2024
vscode-esbmc
Public
ESBMC Extension for Visual Studio Code
vscode verifier esbmc
TypeScript
•0•3•4•0•Updated Jul 19, 2022Jul 19, 2022

点击这是indexloc提供的php浏览器服务，不要输入任何密码和下载