Correctness of Pointer Manipulating Algorithms Illustrated by a Verified BDD Construction

FM 2012: Formal Methods - Lecture Notes in Computer Science ◽

10.1007/978-3-642-32759-9_18 ◽

2012 ◽

pp. 202-216 ◽

Author(s):

Mathieu Giorgino ◽

Martin Strecker

Download Full-text