Baptiste Pollien
Baptiste Pollien
Home
Publications
Talks
Experiences
Teaching
Projects
Accomplishments
Contact
Light
Dark
Automatic
Tags
Cyberphysical systems
Dec 20, 2023
Formal methods
Dec 20, 2023
Mechanized proof
Dec 20, 2023
Proof of program
Dec 20, 2023
Static analysis
Dec 20, 2023
Verification and validation
Dec 20, 2023
Code Generation
Jul 19, 2023
Compilation
Jul 19, 2023
Operational semantics
Jul 19, 2023
Coq
Mar 20, 2023
»
Cite
×