Handling Liveness Properties in (ω-)Regular Model Checking

Ahmed Bouajjani; Axel Legay; Pierre Wolper

doi:10.1016/j.entcs.2005.02.061

Handling Liveness Properties in (ω-)Regular Model Checking

Electronic Notes in Theoretical Computer Science ◽

10.1016/j.entcs.2005.02.061 ◽

2005 ◽

Vol 138 (3) ◽

pp. 101-115 ◽

Cited By ~ 9

Author(s):

Ahmed Bouajjani ◽

Axel Legay ◽

Pierre Wolper

Keyword(s):

Model Checking ◽

Regular Model ◽

Liveness Properties ◽

Regular Model Checking

Download Full-text

Regular model checking

International Journal on Software Tools for Technology Transfer ◽

10.1007/s10009-011-0216-8 ◽

2011 ◽

Vol 14 (2) ◽

pp. 109-118 ◽

Cited By ~ 17

Author(s):

Parosh Aziz Abdulla

Keyword(s):

Model Checking ◽

Regular Model ◽

Regular Model Checking

Download Full-text

Beyond Regular Model Checking

FST TCS 2001: Foundations of Software Technology and Theoretical Computer Science - Lecture Notes in Computer Science ◽

10.1007/3-540-45294-x_14 ◽

2001 ◽

pp. 156-170 ◽

Cited By ~ 9

Author(s):

Dana Fisman ◽

Amir Pnueli

Keyword(s):

Model Checking ◽

Regular Model ◽

Regular Model Checking

Download Full-text

Systematic Acceleration in Regular Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-73368-3_16 ◽

2007 ◽

pp. 131-144 ◽

Cited By ~ 3

Author(s):

Bengt Jonsson ◽

Mayank Saksena

Keyword(s):

Model Checking ◽

Regular Model ◽

Regular Model Checking

Download Full-text

Regular Model Checking Made Simple and Effcient*

CONCUR 2002 — Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/3-540-45694-5_9 ◽

2002 ◽

pp. 116-131 ◽

Cited By ~ 25

Author(s):

Parosh Aziz Abdulla ◽

Bengt Jonsson ◽

Marcus Nilsson ◽

Julien d'Orso

Keyword(s):

Model Checking ◽

Regular Model ◽

Regular Model Checking

Download Full-text

Tree regular model checking: A simulation-based approach

The Journal of Logic and Algebraic Programming ◽

10.1016/j.jlap.2006.02.001 ◽

2006 ◽

Vol 69 (1-2) ◽

pp. 93-121 ◽

Cited By ~ 13

Author(s):

Parosh Aziz Abdulla ◽

Axel Legay ◽

Julien d’Orso ◽

Ahmed Rezine

Keyword(s):

Model Checking ◽

Regular Model ◽

Regular Model Checking ◽

Simulation Based

Download Full-text

A Survey of Regular Model Checking

CONCUR 2004 - Concurrency Theory - Lecture Notes in Computer Science ◽

10.1007/978-3-540-28644-8_3 ◽

2004 ◽

pp. 35-48 ◽

Cited By ~ 51

Author(s):

Parosh Aziz Abdulla ◽

Bengt Jonsson ◽

Marcus Nilsson ◽

Mayank Saksena

Keyword(s):

Model Checking ◽

Regular Model ◽

Regular Model Checking

Download Full-text

Regular Model Checking

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/10722167_31 ◽

2000 ◽

pp. 403-418 ◽

Cited By ~ 124

Author(s):

Ahmed Bouajjani ◽

Bengt Jonsson ◽

Marcus Nilsson ◽

Tayssir Touili

Keyword(s):

Model Checking ◽

Regular Model ◽

Regular Model Checking

Download Full-text

Regular Model Checking Using Solver Technologies and Automata Learning

Lecture Notes in Computer Science - NASA Formal Methods ◽

10.1007/978-3-642-38088-4_2 ◽

2013 ◽

pp. 16-31 ◽

Cited By ~ 7

Author(s):

Daniel Neider ◽

Nils Jansen

Keyword(s):

Model Checking ◽

Regular Model ◽

Regular Model Checking ◽

Automata Learning

Download Full-text

Regular Model Checking for LTL(MSO)

Computer Aided Verification - Lecture Notes in Computer Science ◽

10.1007/978-3-540-27813-9_27 ◽

2004 ◽

pp. 348-360 ◽

Cited By ~ 14

Author(s):

Parosh Aziz Abdulla ◽

Bengt Jonsson ◽

Marcus Nilsson ◽

Julien d’Orso ◽

Mayank Saksena

Keyword(s):

Model Checking ◽

Regular Model ◽

Regular Model Checking

Download Full-text

Regular Model Checking Revisited

10.1007/978-3-030-91384-7_6 ◽

2021 ◽

pp. 97-114

Author(s):

Anthony W. Lin ◽

Philipp Rümmer

Keyword(s):

Model Checking ◽

Regular Model ◽

Regular Model Checking

Download Full-text