|
32
|
Modular Data Structure Verification
– Martin C. Rinard
- 2007
|
|
6
|
An Overview of the Jahob Analysis System - Project Goals and Current Status
– Viktor Kuncak, Martin Rinard
- 2006
|
|
|
Verifying Linked Data Structure Implementations
– Karen Zee, Viktor Kuncak, Martin Rinard
|
|
23
|
Modular Pluggable Analyses for Data Structure Consistency
– Viktor Kuncak, Patrick Lam, Karen Zee, Martin Rinard
- 2006
|
|
21
|
Combining theorem proving with static analysis for data structure consistency
– Karen Zee, Patrick Lam, Viktor Kuncak, Martin Rinard
- 2004
|
|
9
|
An integrated proof language for imperative programs
– Karen Zee, Viktor Kuncak, Martin C. Rinard
|
|
10
|
On verifying complex properties using symbolic shape analysis
– Thomas Wies, Viktor Kuncak, Karen Zee, Martin Rinard, Andreas Podelski
- 2006
|
|
|
Integrated Reasoning and Proof Choice Point Selection in the Jahob System (Mechanisms for Program Survival)
– Martin Rinard
|
|
|
EFFICIENT DYNAMIC DETECTION OF INPUT RELATED SOFTWARE FAULTS
– Eric D. Larson
- 2004
|
|
35
|
Cogent: Accurate theorem proving for program verification
– Byron Cook, Daniel Kroening, Natasha Sharygina
- 2005
|
|
9
|
On modular pluggable analyses using set interfaces
– Patrick Lam, Viktor Kuncak, Martin Rinard
- 2003
|
|
|
Redmond, WA 98052This page intentionally left blank. Back to the Future Revisiting Precise Program Verification using SMT Solvers
– Shuvendu K. Lahiri, Shaz Qadeer
- 2007
|
|
16
|
On Our Experience with Modular Pluggable Analyses
– Patrick Lam , Viktor Kuncak, Martin Rinard
- 2004
|
|
|
Glass Box Software Model Checking
– Michael E. Roberson
- 2011
|
|
1
|
Efficient Modular Glass Box Software Model Checking
– Michael Roberson, Chandrasekhar Boyapati
|
|
22
|
An algorithm for deciding BAPA: Boolean Algebra with Presburger Arithmetic
– Viktor Kuncak, Huu Hai Nguyen, Martin Rinard
- 2005
|
|
18
|
The software model checker BLAST: Applications to software engineering
– Dirk Beyer, Thomas A. Henzinger, Ranjit Jhala, Rupak Majumdar
- 2007
|
|
67
|
Data structure specifications via local equality axioms
– Scott Mcpeak, George C. Necula
- 2005
|
|
|
Program Verification by . . .
– Ranjit Jhala
- 2004
|
