Skip to content

@esbmc esbmc

Change the repository type filter

All

    Repositories list

    18 repositories

    • esbmc

      Public
      The efficient SMT-based context-bounded model checker (ESBMC)
      kotlinpythonc
      kotlinpythonccppsmt-solverk-inductionautomated-testingincremental-learningbmcsolidity-contracts
      C++
      •
      Other
      •139•507•419•44•Updated Aug 2, 2026Aug 2, 2026

    • libltl2ba

      Public
      A library-fied version of ltl2ba
      C
      •
      GNU General Public License v2.0
      •2•5•0•0•Updated Jul 30, 2026Jul 30, 2026

    • verify-rust-std

      Public
      Verifying the Rust standard library
      Rust
      •
      Other
      •15k•3•0•2•Updated Jul 6, 2026Jul 6, 2026

    • ethcheck

      Public
      A command-line tool for verifying the Ethereum Consensus Specification
      Python
      •
      Apache License 2.0
      •0•2•0•0•Updated Jun 30, 2026Jun 30, 2026

    • esbmc.github.io

      Public
      Host repo for the esbmc website.
      0•0•0•0•Updated Jun 9, 2026Jun 9, 2026

    • esbmc-web

      Public
      Web interface for the ESBMC verifier
      JavaScript
      •0•1•4•0•Updated Jun 9, 2026Jun 9, 2026

    • esbmc-python-cpp

      Public
      ESBMC-Python-CPP is an extension of ESBMC to verify Python programs using shedskin
      Python
      •0•2•7•2•Updated Jun 5, 2026Jun 5, 2026

    • esbmc-linter

      Public
      Python
      •
      Apache License 2.0
      •0•0•0•0•Updated Apr 7, 2026Apr 7, 2026

    • goto-transcoder

      Public
      A transcoder for GOTO programs
      C
      •
      MIT License
      •0•4•4•0•Updated Mar 18, 2026Mar 18, 2026

    • agent-marketplace

      Public
      ESBMC Plugin for Claude Code
      C
      •
      MIT License
      •2•4•0•0•Updated Feb 27, 2026Feb 27, 2026

    • esbmc-ai

      Public
      Automated Code Repair suite powered by ESBMC and LLMs.
      aiartificial-intelligencebounded-model-checking
      aiartificial-intelligencebounded-model-checkingbmcautomated-program-repairesbmcllmllms
      Python
      •
      Other
      •9•43•48•4•Updated Feb 20, 2026Feb 20, 2026

    • vscode-esbmc

      Public
      ESBMC Extension for Visual Studio Code
      vscodeverifieresbmc
      vscodeverifieresbmc
      TypeScript
      •0•4•5•0•Updated Dec 5, 2025Dec 5, 2025

    • esbmc-ai-addon-template

      Public template
      Addon template for ESBMC-AI. Good starting point for developing addons.
      Python
      •0•0•0•0•Updated Nov 10, 2025Nov 10, 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

    • ld2json

      Public
      Converts linker script to JSON
      Linker Script
      •
      MIT License
      •0•0•0•0•Updated Aug 11, 2025Aug 11, 2025

    • esbmc-action

      Public
      An action for verifying files using the ESBMC.
      0•0•0•0•Updated Aug 21, 2024Aug 21, 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
    ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.