337 search results - page 2 / 68 » Predicate abstraction for software verification |
106
Voted
CAV
2006
Springer
15 years 4 months ago
2006
Springer
niques for Fast Predicate Abstraction Shuvendu K. Lahiri , Robert Nieuwenhuis , and Albert Oliveras Abstract. Predicate abstraction is a technique for automatically exfinite-state ...
84
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
al Abstraction of Software Verification Conditions Domagoj Babi
60
Voted
VMCAI
2005
Springer
15 years 5 months ago
2005
Springer
104
Voted
CAV
2007
Springer
15 years 4 months ago
2007
Springer
In automatic software verification, we have observed a theoretical convergence of model checking and program analysis. In practice, however, model checkers are still mostly concern...
176
click to vote
PLDI
2009
ACM
16 years 1 months ago
2009
ACM
dicate Abstraction Saurabh Srivastava University of Maryland, College Park Sumit Gulwani Microsoft Research, Redmond