Sciweavers

Free Online Productivity Tools i2Speak i2Symbol i2OCR iTex2Img iWeb2Print iWeb2Shot i2Type iPdf2Split iPdf2Merge i2Bopomofo i2Arabic i2Style i2Image i2PDF iLatex2Rtf Sci2ools

8

CC
2005
Springer

favoriteEmaildiscussreport

115views System Software» more CC 2005»

Hob: A Tool for Verifying Data Structure Consistency

13 years 10 months ago

Hob: A Tool for Verifying Data Structure Consistency

Download lara.epfl.ch

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 identiﬁed several bugs in both speciﬁcations and implementations of programs.

Patrick Lam, Viktor Kuncak, Martin C. Rinard

Real-time Traffic

CC 2005 | Data Structure Consistency | Demonstration Presents Hob | General-purpose Programming Language | Programming Languages |

claim paper

Related Content

» Implications of a Data Structure Consistency Checking System

» Generalized Typestate Checking for Data Structure Consistency

» MetaBar a tool for consistent contextual data acquisition and standards compliant submiss...

» Data Structures for Generalised Arc Consistency for Extensional Constraints

» Toward Verified Biological Models

» Consistency Analysis in Bloom a CALM and Collected Approach

» Model Checking of Linearizability of Concurrent List Implementations

» Verifying a Simple Pipelined Microprocessor Using Maude

» Verifying design modularity hierarchy and interaction locality using data clustering techn...

Post Info
More Details (n/a)

Added	26 Jun 2010
Updated	26 Jun 2010
Type	Conference
Year	2005
Where	CC
Authors	Patrick Lam, Viktor Kuncak, Martin C. Rinard

Comments (0)