Predicate Abstraction and CEGAR for $$\nu \mathrm {HFL}_\mathbb {Z}$$ Validity Checking

2020 ◽  
pp. 134-155
Author(s):  
Naoki Iwayama ◽  
Naoki Kobayashi ◽  
Ryota Suzuki ◽  
Takeshi Tsukada
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