Discharging Proof Obligations from Atelier B Using Multiple Automated Provers

Abstract State Machines, Alloy, B, VDM, and Z - Lecture Notes in Computer Science ◽

10.1007/978-3-642-30885-7_17 ◽

2012 ◽

pp. 238-251 ◽

Author(s):

David Mentré ◽

Claude Marché ◽

Jean-Christophe Filliâtre ◽

Masashi Asuka

Download Full-text