Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

Awesome Lists | Featured Topics | Projects

Projects in Awesome Lists by gpetiot

A curated list of projects in awesome lists by gpetiot .

https://github.com/gpetiot/frama-c-stady

Static & Dynamic Verification of C programs

acsl frama-c software-verification

Last synced: 29 Nov 2024

https://github.com/gpetiot/ocamlformat-preview

OCamlFormat in the browser

ocaml ocamlformat

Last synced: 29 Nov 2024

https://github.com/gpetiot/phd-thesis

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

Last synced: 29 Nov 2024

https://github.com/gpetiot/stady

Programs used for benchmarking the StaDy plugin for Frama-C

Last synced: 29 Nov 2024