Popular repositories Loading

1. esbmc esbmc Public

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

   C 349 111

2. esbmc-ai esbmc-ai Public

   Automated Code Repair suite powered by ESBMC and LLMs.

   C 34 5

3. vscode-esbmc vscode-esbmc Public

   ESBMC Extension for Visual Studio Code

   TypeScript 4

4. libltl2ba libltl2ba Public

   A library-fied version of ltl2ba

   C 4 2

5. ethcheck ethcheck Public

   A command-line tool for verifying the Ethereum Consensus Specification

   Python 2

6. verify-rust-std verify-rust-std Public

   Forked from model-checking/verify-rust-std

   Verifying the Rust standard library

   Rust 2