regular model checking
Recently Published Documents

TOTAL DOCUMENTS

30
(FIVE YEARS 3)

H-INDEX

13
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Regular Model Checking Revisited

2021 ◽  
pp. 97-114
Author(s):  
Anthony W. Lin ◽  
Philipp Rümmer
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking

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 Regular Model Checking with Regular Relations

2021 ◽  
pp. 190-203
Author(s):  
Vrunda Dave ◽  
Taylor Dohmen ◽  
Shankara Narayanan Krishna ◽  
Ashutosh Trivedi
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking

scholarly journals Equational Abstraction Refinement for Certified Tree Regular Model Checking

2012 ◽  
pp. 299-315 ◽  
Author(s):  
Yohan Boichut ◽  
Benoit Boyer ◽  
Thomas Genet ◽  
Axel Legay
Keyword(s):  
Model Checking ◽  
Abstraction Refinement ◽  
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

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 for LTL(MSO)

2011 ◽  
Vol 14 (2) ◽  
pp. 223-241 ◽  
Author(s):  
Parosh Aziz Abdulla ◽  
Bengt Jonsson ◽  
Marcus Nilsson ◽  
Julien d’Orso ◽  
Mayank Saksena
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking

Extrapolating (omega-)regular model checking

2011 ◽  
Vol 14 (2) ◽  
pp. 119-143 ◽  
Author(s):  
Axel Legay
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking

scholarly journals On (Omega-)regular model checking

2010 ◽  
Vol 12 (1) ◽  
pp. 1-46 ◽  
Author(s):  
Axel Legay ◽  
Pierre Wolper
Keyword(s):  
Model Checking ◽  
Regular Model ◽  
Regular Model Checking
Load More ...
Sign in / Sign up

Export Citation Format

Share Document