Increasing Proofs Automation Rate of Atelier-B Thanks to Alt-Ergo

Reliability, Safety, and Security of Railway Systems. Modelling, Analysis, Verification, and Certification - Lecture Notes in Computer Science ◽

10.1007/978-3-319-33951-1_18 ◽

2016 ◽

pp. 243-253 ◽

Cited By ~ 2

Author(s):

Sylvain Conchon ◽

Mohamed Iguernlala

Download Full-text