Senior researcher at CNRS, former developer of https://www.absint.com/astree/index.htm
https://cv.archives-ouvertes.fr/david-monniaux
-
CNRS / VERIMAG
- Grenoble
- http://www-verimag.imag.fr/~monniaux
- @MonniauxD
Stars
Xilinx Vivado block designs for FPGA RISC-V SoC running Debian Linux distro
monniaux / CompCert
Forked from AbsInt/CompCertThe CompCert formally-verified C compiler