Popular repositories Loading

1. Frama-C-Mutation Frama-C-Mutation Public archive

   Generation of mutant programs

   OCaml 20

2. Frama-C-StaDy Frama-C-StaDy Public archive

   Static & Dynamic Verification of C programs

   OCaml 8 3

3. Frama-C-Inline Frama-C-Inline Public archive

   Inlining of ACSL predicates and logic functions

   OCaml 3

4. StaDy-benchmarks StaDy-benchmarks Public archive

   Programs used for benchmarking the StaDy plugin for Frama-C

   C 1 1

5. phd-thesis phd-thesis Public archive

   Sources of my PhD thesis "Contribution à la vérification de programmes C par combinaison de tests et de preuves" (in french)

   TeX

6. gpetiot.github.io gpetiot.github.io Public