Boulmé, Sylvain, 19..-....
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
VIAF ID: 81163409270900092731 (Personal)
Permalink: http://viaf.org/viaf/81163409270900092731
Preferred Forms
Works
| Title | Sources |
|---|---|
| Certification of the transformation of proof tasks. |
|
| Compilation optimisante et formellement prouvée pour un processeur VLIW |
|
| Compositional preprocessing in Coq. |
|
| Effectful programs and their proofs in type theory : application to certified compilation and certified packet processing |
|
| Optimized and formally-verified compilation for a VLIW processor. |
|
| Prétraitement compositionnel en Coq |
|
| Programmation impérative par raffinements avec l'assistant de preuve Coq |
|
| Programmes avec effets et leurs preuves dans la théorie des types : application à la compilation certifiée et aux traitements de paquets certifiés. |
|
| Validation Formelle de Transformations Intra-Procédurales par Simulation Symbolique Défensive |
|
| Vérification déductive de programmes Rust. |
|
