TravMC2: higher-order model checking for alternating parity tree automata

2014 ◽  
Author(s):  
Robin P. Neatherway ◽  
C.-H. Luke Ong
Keyword(s):  
Model Checking ◽  
Higher Order ◽  
Tree Automata ◽  
Order Model

Automata theory and higher-order model-checking

2016 ◽  
Vol 3 (4) ◽  
pp. 13-31 ◽  
Author(s):  
Igor Walukiewicz
Keyword(s):  
Model Checking ◽  
Higher Order ◽  
Automata Theory ◽  
Order Model

Predicate abstraction and CEGAR for higher-order model checking

2011 ◽  
Vol 46 (6) ◽  
pp. 222-233 ◽  
Author(s):  
Naoki Kobayashi ◽  
Ryosuke Sato ◽  
Hiroshi Unno
Keyword(s):  
Model Checking ◽  
Higher Order ◽  
Predicate Abstraction ◽  
Order Model
Sign in / Sign up

Export Citation Format

Share Document