Add to ORKGThis 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
As size and complexity of software systems increase, pre-serving the design and specification of the...
AbstractThe design and implementation of a software system is often governed by a variety of coding ...
AbstractModern web application development frameworks provide web application developers with high-l...
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency fo...
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 ...
There are two different types of programs: imperative programs that describe how to solve a problem,...
For decades distributed computing has been mainly an academic subject. Today, it has become mainstre...
Static analysis examines program code to reason over all possible behaviours that might arise at run...
The design and implementation of a software system is often governed by a variety of coding conventi...
As size and complexity of software systems increase, pre-serving the design and specification of the...
AbstractThe design and implementation of a software system is often governed by a variety of coding ...
AbstractModern web application development frameworks provide web application developers with high-l...
Abstract. This tool demonstration presents Hob, a system for verifying data structure consistency fo...
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 ...
There are two different types of programs: imperative programs that describe how to solve a problem,...
For decades distributed computing has been mainly an academic subject. Today, it has become mainstre...
Static analysis examines program code to reason over all possible behaviours that might arise at run...
The design and implementation of a software system is often governed by a variety of coding conventi...
As size and complexity of software systems increase, pre-serving the design and specification of the...
AbstractThe design and implementation of a software system is often governed by a variety of coding ...
AbstractModern web application development frameworks provide web application developers with high-l...