Verification Diagrams Revisited: Disjunctive Invariants for Easy Verification

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/10722167_38 ◽

2000 ◽

pp. 508-520 ◽

Author(s):

John Rushby

Download Full-text