Translating TLA + to B for Validation with ProB

Lecture Notes in Computer Science - Integrated Formal Methods ◽

10.1007/978-3-642-30729-4_3 ◽

2012 ◽

pp. 24-38 ◽

Author(s):

Dominik Hansen ◽

Michael Leuschel

Download Full-text