Structure-aware computation of predicate abstraction

2009 ◽  
Author(s):  
Alessandro Cimatti ◽  
Jori Dubrovin ◽  
Tommi Junttila ◽  
Marco Roveri
Keyword(s):  
Predicate Abstraction

Advances in Predicate Abstraction

2008 ◽  
Vol 19 (1) ◽  
pp. 27-38 ◽  
Author(s):  
Wan-Xia QU
Keyword(s):  
Predicate Abstraction

scholarly journals Program verification using templates over predicate abstraction

2009 ◽  
Vol 44 (6) ◽  
pp. 223-234 ◽  
Author(s):  
Saurabh Srivastava ◽  
Sumit Gulwani
Keyword(s):  
Program Verification ◽  
Predicate Abstraction

scholarly journals Verification of SpecC using predicate abstraction

2006 ◽  
Vol 30 (1) ◽  
pp. 5-28 ◽  
Author(s):  
Edmund Clarke ◽  
Himanshu Jain ◽  
Daniel Kroening
Keyword(s):  
Predicate Abstraction

SMT Techniques for Fast Predicate Abstraction

2006 ◽  
pp. 424-437 ◽  
Author(s):  
Shuvendu K. Lahiri ◽  
Robert Nieuwenhuis ◽  
Albert Oliveras
Keyword(s):  
Predicate Abstraction

Terms and Predicate Abstraction

1998 ◽  
pp. 187-203
Author(s):  
Melvin Fitting ◽  
Richard L. Mendelsohn
Keyword(s):  
Predicate Abstraction
Sign in / Sign up

Export Citation Format

Share Document