AFADL – GDR GPL: CLEARSY will give a presentation on the integration of third-party tools for automatic proof in Atelier B
Version 4.5.1 of Atelier B
Version 4.5 of Atelier B
The international conference on formal methods (FM 2018)
Conference on formal methods (FM 2018) – Oxford
Formal methods for cyber-physical systems – Shonan