337 search results - page 2 / 68 » Predicate abstraction for software verification |
CAV
2006
Springer
15 years 1 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 ...
66
Voted
CAV
2007
Springer
15 years 2 months ago
2007
Springer
al Abstraction of Software Verification Conditions Domagoj Babi
50
Voted
VMCAI
2005
Springer
15 years 3 months ago
2005
Springer
CAV
2007
Springer
15 years 2 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...
159
Voted
PLDI
2009
ACM
15 years 11 months ago
2009
ACM
dicate Abstraction Saurabh Srivastava University of Maryland, College Park Sumit Gulwani Microsoft Research, Redmond