The Location Linking Concept: A Basis for Verification of Code Using Pointers

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

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

2012 ◽

pp. 34-49 ◽

Cited By ~ 4

Author(s):

Gregory Kulczycki ◽

Hampton Smith ◽

Heather Harton ◽

Murali Sitaraman ◽

William F. Ogden ◽

...