hbgit/FORTES hbgit/FORTES

  • Stars
    star
    1
  • Language
    Perl
  • Created over 12 years ago
  • Updated over 10 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
hbgit/FORTES
github

hbgit

Reviews

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

Repository Details

This tool aims to automate the FORTES method that aims to automate to extract the safety properties from C code generated by ESBMC to generate automatically testcases using the assertions, in this case adopting the CUnit Framework Unit Test.

More Repositories

1

Map2Check

Map2Check: Finding Software Vulnerabilities
SWIG
27
star
2

depthk

K-Induction adopting program invariants
Python
8
star
3

EZProofC

This tool aims to automate the method proposed aims to automate the collection and manipulation of counterexamples in order to instantiate a C program for proving the root cause of the identified error. Such method may be seen as a complementary technique for the verification performed by Bounded Model Checkers.
Perl
2
star
4

dotfilesvhb

Vim Script
1
star