Hob: A tool for verifying data structure consistency

Lecture Notes in Computer Science

Volumn 3443, Issue , 2005, Pages 237-241

  Lam, Patrick ^a   Kuncak, Viktor ^a   Rinard, Martin ^a  

^a MASSACHUSETTS INSTITUTE OF TECHNOLOGY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMMUNICATION SYSTEMS; COMPUTER PROGRAMMING; COMPUTER PROGRAMMING LANGUAGES; DATA REDUCTION;

BUGS; GENERAL-PURPOSE PROGRAMMING LANGUAGE; PROGRAM DEVELOPMENT PROCESS; TOOL DEMONSTRATION;

DATA STRUCTURES;

EID: 24644463830     PISSN: 03029743     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1007/978-3-540-31985-6_16     Document Type: Conference Paper

References (6)

1. C. A. R. Hoare. The verifying compiler: still a Grand Challenge for computing research. ETAPS Invited Lecture, April 2003.
2. P. Lam, V. Kuncak, and M. Rinard. Crosscutting techniques in program specification and analysis. In P. Tarr, editor, Proceedings of the Fourth Conference on Aspect-Oriented Software Development, 2005.
3. P. Lam, V. Kuncak, and M. Rinard. Generalized typestate checking for data structure consistency. In 6th International Conference on Verification, Model Checking and Abstract Interpretation, 2005.
4. A. Møller and M. I. Schwartzbach. The Pointer Assertion Logic Engine. In Proc. PLDI, 2001.
5. G. Nelson. Techniques for program verification. Technical report, XEROX Palo Alto Research Center, 1981.
6. K. Zee, P. Lam, V. Kuncak, and M. Rinard. Combining theorem proving with static analysis for data structure consistency. In International Workshop on Software Verification and Validation (SVV 2004), Seattle, November 2004.