@esbmc
Guthub

esbmc

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    299
  • Global Org. Rank 32,383 (Top 11 %)
  • Registered over 9 years ago
  • Most used languages
    C
         75.0 %
    TypeScript
         25.0 %

Top repositories

1

esbmc

The efficient SMT-based context-bounded model checker (ESBMC)
C
289
star
2

esbmc-ai

Automated Code Repair suite powered by ESBMC and LLMs.
C
18
star
3

vscode-esbmc

ESBMC Extension for Visual Studio Code
TypeScript
4
star
4

libltl2ba

A library-fied version of ltl2ba
C
4
star