Using Predicate Abstraction to Generate Heuristic Functions in UPPAAL

2007 ◽  
pp. 51-66 ◽  
Author(s):  
Jörg Hoffmann ◽  
Jan-Georg Smaus ◽  
Andrey Rybalchenko ◽  
Sebastian Kupferschmid ◽  
Andreas Podelski
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

Structure-aware computation of predicate abstraction

2009 ◽  
Author(s):  
Alessandro Cimatti ◽  
Jori Dubrovin ◽  
Tommi Junttila ◽  
Marco Roveri
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
Sign in / Sign up

Export Citation Format

Share Document