Verification of code generators via higher-order model checking

2017 ◽  
Author(s):  
Takashi Suwa ◽  
Takeshi Tsukada ◽  
Naoki Kobayashi ◽  
Atsushi Igarashi
Keyword(s):  
Model Checking ◽  
Higher Order ◽  
Order Model ◽  
Code Generators

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