A lightweight regular model checking approach for parameterized systems

2011 ◽  
Vol 14 (2) ◽  
pp. 207-222 ◽  
Author(s):  
Giorgio Delzanno ◽  
Ahmed Rezine
Keyword(s):  
Model Checking ◽  
Parameterized Systems ◽  
Regular Model ◽  
Regular Model Checking

Regular model checking

2011 ◽  
Vol 14 (2) ◽  
pp. 109-118 ◽  
Author(s):  
Parosh Aziz Abdulla
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking

scholarly journals Handling Liveness Properties in (ω-)Regular Model Checking

2005 ◽  
Vol 138 (3) ◽  
pp. 101-115 ◽  
Author(s):  
Ahmed Bouajjani ◽  
Axel Legay ◽  
Pierre Wolper
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Liveness Properties ◽  
Regular Model Checking

Regular Model Checking Made Simple and Effcient*

2002 ◽  
pp. 116-131 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Bengt Jonsson ◽  
Marcus Nilsson ◽  
Julien d'Orso
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking

scholarly journals Tree regular model checking: A simulation-based approach

2006 ◽  
Vol 69 (1-2) ◽  
pp. 93-121 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Axel Legay ◽  
Julien d’Orso ◽  
Ahmed Rezine
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking ◽  
Simulation Based

scholarly journals A Survey of Regular Model Checking

2004 ◽  
pp. 35-48 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Bengt Jonsson ◽  
Marcus Nilsson ◽  
Mayank Saksena
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking

scholarly journals Regular Model Checking

2000 ◽  
pp. 403-418 ◽  
Author(s):  
Ahmed Bouajjani ◽  
Bengt Jonsson ◽  
Marcus Nilsson ◽  
Tayssir Touili
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking
Sign in / Sign up

Export Citation Format

Share Document