PsykAnalyst
Implementation of the methodology proposed in my doctoral thesis: a formal verification tool for the PsyC language based on SAT and BDD model-checkers. The project is implemented mainly in OCaml and makes extensive use of the synchronous language Lustre, in particular as an intermediate representation.
Fabien Siron
R&D Software Engineer | Teacher
My interests include real-time systems, and more broadly, cyber-physical systems, and formal methods.