esbmc/esbmc-ai esbmc/esbmc-ai

  • Stars
    star
    18
  • Rank 1,208,065 (Top 24 %)
  • Language
    C
  • License
    GNU Affero Genera...
  • Created over 1 year ago
  • Updated 4 months ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
esbmc/esbmc-ai
github

esbmc

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

Automated Code Repair suite powered by ESBMC and LLMs.

More Repositories

1

esbmc

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

vscode-esbmc

ESBMC Extension for Visual Studio Code
TypeScript
4
star
3

libltl2ba

A library-fied version of ltl2ba
C
4
star