Skip to content
@esbmc

esbmc

Popular repositories Loading

  1. esbmc esbmc Public

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

    C 441 128

  2. esbmc-ai esbmc-ai Public

    Automated Code Repair suite powered by ESBMC and LLMs.

    Python 40 9

  3. libltl2ba libltl2ba Public

    A library-fied version of ltl2ba

    C 5 2

  4. vscode-esbmc vscode-esbmc Public

    ESBMC Extension for Visual Studio Code

    TypeScript 4

  5. verify-rust-std verify-rust-std Public

    Forked from model-checking/verify-rust-std

    Verifying the Rust standard library

    Rust 3

  6. ethcheck ethcheck Public

    A command-line tool for verifying the Ethereum Consensus Specification

    Python 2

Repositories

Showing 10 of 17 repositories
  • goto-transcoder Public

    A transcoder for GOTO programs

    esbmc/goto-transcoder’s past year of commit activity
    Rust 1 MIT 0 4 0 Updated Feb 23, 2026
  • esbmc Public

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

    esbmc/esbmc’s past year of commit activity
    C 441 128 444 (2 issues need help) 84 Updated Feb 23, 2026
  • agent-marketplace Public

    ESBMC Plugin for Claude Code

    esbmc/agent-marketplace’s past year of commit activity
    C 2 MIT 0 0 0 Updated Feb 22, 2026
  • esbmc-ai Public

    Automated Code Repair suite powered by ESBMC and LLMs.

    esbmc/esbmc-ai’s past year of commit activity
    Python 40 9 48 (1 issue needs help) 4 Updated Feb 20, 2026
  • esbmc-python-cpp Public

    ESBMC-Python-CPP is an extension of ESBMC to verify Python programs using shedskin

    esbmc/esbmc-python-cpp’s past year of commit activity
    Python 2 0 7 1 Updated Jan 31, 2026
  • esbmc-web Public

    Web interface for the ESBMC verifier

    esbmc/esbmc-web’s past year of commit activity
    JavaScript 1 0 4 0 Updated Jan 31, 2026
  • esbmc.github.io Public

    Host repo for the esbmc website.

    esbmc/esbmc.github.io’s past year of commit activity
    0 0 0 0 Updated Dec 7, 2025
  • vscode-esbmc Public

    ESBMC Extension for Visual Studio Code

    esbmc/vscode-esbmc’s past year of commit activity
    TypeScript 4 0 5 (2 issues need help) 0 Updated Dec 5, 2025
  • esbmc-ai-addon-template Public template

    Addon template for ESBMC-AI. Good starting point for developing addons.

    esbmc/esbmc-ai-addon-template’s past year of commit activity
    Python 0 0 0 0 Updated Nov 10, 2025
  • verify-rust-std Public Forked from model-checking/verify-rust-std

    Verifying the Rust standard library

    esbmc/verify-rust-std’s past year of commit activity
    Rust 3 15,327 0 2 Updated Nov 3, 2025
View all repositories

Most used topics

Loading…