Regular Model Checking: Evolution and Perspectives

2021 ◽  
pp. 78-96
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

scholarly journals Regular Model Checking for LTL(MSO)

2004 ◽  
pp. 348-360 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Bengt Jonsson ◽  
Marcus Nilsson ◽  
Julien d’Orso ◽  
Mayank Saksena
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking
Sign in / Sign up

Export Citation Format

Share Document