Add to ORKGAbstract. 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.
AbstractThe design and implementation of a software system is often governed by a variety of coding ...
Static analysis examines program code to reason over all possible behaviours that might arise at run...
Database applications retrieve data from database for processing and store data to database for futu...
This tool demonstration presents Hob, a system for verifying data structure consistency for program...
Abstract. We present a framework for verifying that programs correctly preserve impor-tant data stru...
We describe an approach for combining theorem proving techniques with static analysis to analyze dat...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
We present a system that accepts a specification of key data structure consistency constraints, then...
We present a system that accepts a specification of key data structure consistency constraints, then...
Typestate systems allow the type of an object to change during its lifetime in the computation. Unli...
AbstractThis talk gives an overview of various approaches for verifying the correctness of programs ...
As size and complexity of software systems increase, pre-serving the design and specification of the...
For decades distributed computing has been mainly an academic subject. Today, it has become mainstre...
The design and implementation of a software system is often governed by a variety of coding conventi...
There are two different types of programs: imperative programs that describe how to solve a problem,...
AbstractThe design and implementation of a software system is often governed by a variety of coding ...
Static analysis examines program code to reason over all possible behaviours that might arise at run...
Database applications retrieve data from database for processing and store data to database for futu...
This tool demonstration presents Hob, a system for verifying data structure consistency for program...
Abstract. We present a framework for verifying that programs correctly preserve impor-tant data stru...
We describe an approach for combining theorem proving techniques with static analysis to analyze dat...
Thesis (Ph. D.)--Massachusetts Institute of Technology, Dept. of Electrical Engineering and Computer...
We present a system that accepts a specification of key data structure consistency constraints, then...
We present a system that accepts a specification of key data structure consistency constraints, then...
Typestate systems allow the type of an object to change during its lifetime in the computation. Unli...
AbstractThis talk gives an overview of various approaches for verifying the correctness of programs ...
As size and complexity of software systems increase, pre-serving the design and specification of the...
For decades distributed computing has been mainly an academic subject. Today, it has become mainstre...
The design and implementation of a software system is often governed by a variety of coding conventi...
There are two different types of programs: imperative programs that describe how to solve a problem,...
AbstractThe design and implementation of a software system is often governed by a variety of coding ...
Static analysis examines program code to reason over all possible behaviours that might arise at run...
Database applications retrieve data from database for processing and store data to database for futu...