Hob: A Tool for Verifying Data Structure Consistency

Lam, Patrick

•

•

Rinard, Martin

2005

14th International Conference on Compiler Construction (tool demo)

Hob: A Tool for Verifying Data Structure Consistency

conference paper

Name

LamETAL05HobTool.pdf

Access type

openaccess

Size

31.69 KB

Format

Adobe PDF

Checksum (MD5)

89f3f9531ed7b899b18ddc8cdfc329a0