@esbmc
Guthub

esbmc

Twitter logo Share LinkedIn logo Share Facebook logo Share
  • Stars
    star
    237
  • Global Org. Rank 36,396 (Top 12 %)
  • Registered about 9 years ago
  • Most used languages
    C
         50.0 %
    TypeScript
         50.0 %

Top repositories

1

esbmc

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

vscode-esbmc

ESBMC Extension for Visual Studio Code
TypeScript
4
star