Abstraction refinement in symbolic model checking using satisfiability as the only decision procedure

2005 ◽  
Vol 7 (2) ◽  
pp. 143-155 ◽  
Author(s):  
Bing Li ◽  
Chao Wang ◽  
Fabio Somenzi
Keyword(s):  
Model Checking ◽  
Decision Procedure ◽  
Symbolic Model Checking ◽  
Abstraction Refinement ◽  
Symbolic Model

scholarly journals Counterexample-guided abstraction refinement for symbolic model checking

2003 ◽  
Vol 50 (5) ◽  
pp. 752-794 ◽  
Author(s):  
Edmund Clarke ◽  
Orna Grumberg ◽  
Somesh Jha ◽  
Yuan Lu ◽  
Helmut Veith
Keyword(s):  
Model Checking ◽  
Symbolic Model Checking ◽  
Abstraction Refinement ◽  
Symbolic Model

Control Explicit--Data Symbolic Model Checking

2016 ◽  
Vol 25 (2) ◽  
pp. 1-48 ◽  
Author(s):  
Petr Bauch ◽  
Vojtěch Havel ◽  
Jiří Barnat
Keyword(s):  
Model Checking ◽  
Symbolic Model Checking ◽  
Symbolic Model

scholarly journals Safety assessment of AltaRica models via symbolic model checking

2015 ◽  
Vol 98 ◽  
pp. 464-483 ◽  
Author(s):  
Marco Bozzano ◽  
Alessandro Cimatti ◽  
Oleg Lisagor ◽  
Cristian Mattarei ◽  
Sergio Mover ◽  
...  
Keyword(s):  
Model Checking ◽  
Safety Assessment ◽  
Symbolic Model Checking ◽  
Symbolic Model
Sign in / Sign up

Export Citation Format

Share Document