Rafael-Baltazar/Safety-Verification-for-C Rafael-Baltazar/Safety-Verification-for-C

  • Stars
    star
    1
  • Language
    C++
  • Created almost 10 years ago
  • Updated almost 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
Rafael-Baltazar/Safety-Verification-for-C
github

Rafael-Baltazar

Reviews

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

Repository Details

Bounded model checker for C programs. Receives verification conditions as input and uses Microsoft's Z3 SMT Solver for constraint solving.

More Repositories

1

jmlcute

Generate unit test cases from Java files annotated with JML.
Java
4
star
2

NLP-MP2-3

System that recognizes the language of a given text.
C++
1
star
3

rpg-first

Battle game for a command line interface.
Java
1
star
4

cpd

Parallel and distributed computing badass project.
C
1
star
5

PAva-Java-Inspector

The Java Inspector is a command line application to inspect Java code.
Java
1
star