A Comparison of Intermediate Verification Languages: Boogie and Sireum/Pilar

Verified Software: Theories, Tools, Experiments - Lecture Notes in Computer Science ◽

10.1007/978-3-642-27705-4_11 ◽

2012 ◽

pp. 130-145 ◽

Cited By ~ 3

Author(s):

Loren Segal ◽

Patrice Chalin

Download Full-text