Le projet du CNES sur l'étude des langages C, C++, Ada, Rust, OCaml et Scade d'un point de vue sûreté.
Pour générer les documents, vous devez posséder une version
relativement récente de typst. See https://github.com/typst/typst
for installation instructions.
Dans le répertoire racine, utilisez make pour générer les documents. Les deux PDF sont disponibles ensuite dans des sous-répertoires de _build/.
- Étude (PDF, 1 MB)
- Présentation (PDF, 10 MB)