gpetiot/Frama-C-StaDy gpetiot/Frama-C-StaDy

  • This repository has been archived on 30/Oct/2023
  • Stars
    star
    9
  • Rank 1,939,727 (Top 39 %)
  • Language
    OCaml
  • License
    GNU Lesser Genera...
  • Created over 7 years ago
  • Updated about 5 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
gpetiot/Frama-C-StaDy
github

gpetiot

Reviews

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

Repository Details

Static & Dynamic Verification of C programs

More Repositories

1

Frama-C-Mutation

Generation of mutant programs
OCaml
21
star
2

mirage-shell

Basic shell built on top of Mirage (experimental! do not use!)
OCaml
7
star
3

ocaml-weather

An OCaml library to access current weather data from OpenWeather
OCaml
3
star
4

ocamlformat-preview

OCamlFormat in the browser
JavaScript
3
star
5

Frama-C-Inline

Inlining of ACSL predicates and logic functions
OCaml
3
star
6

ocamlformat-mdx-blocks

OCaml
2
star
7

sexp-parse

S-expression parsing library (without base dependency)
OCaml
2
star
8

phd-thesis

Sources of my PhD thesis "Contribution Γ  la vΓ©rification de programmes C par combinaison de tests et de preuves" (in french)
TeX
1
star
9

StaDy

Programs used for benchmarking the StaDy plugin for Frama-C
C
1
star