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
Research Engineer | Lecturer
My interests include real-time systems (more broadly cyber-physical systems) and formal methods.