Sciweavers

Share
CC
2005
Springer

Hob: A Tool for Verifying Data Structure Consistency

12 years 7 months ago
Hob: A Tool for Verifying Data Structure Consistency
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency for programs written in a general-purpose programming language. Our tool enables the focused application of multiple communicating static analyses to different modules in the same program. Using our tool throughout the program development process, we have successfully identified several bugs in both specifications and implementations of programs.
Patrick Lam, Viktor Kuncak, Martin C. Rinard
Added 26 Jun 2010
Updated 26 Jun 2010
Type Conference
Year 2005
Where CC
Authors Patrick Lam, Viktor Kuncak, Martin C. Rinard
Comments (0)
books