Formal methods for cyber-physical systems – Shonan

Formal methods in action in the railways

International conference SBMF 2017

ClearSy organizes a technical seminar that will take place at Sherbrooke University, October 20, 2016 (from 10h30 to 12h).

b2llvm: B developments onto the LLVM

Formal Data Validation Tutorial at ABZ 2014, Toulouse

Presentation to M2 STL students

Newcastle University Technical Seminar