On Decidability of LTL Model Checking for Process Rewrite Systems

FSTTCS 2006: Foundations of Software Technology and Theoretical Computer Science - Lecture Notes in Computer Science ◽

10.1007/11944836_24 ◽

2006 ◽

pp. 248-259 ◽

Cited By ~ 2

Author(s):

Laura Bozzelli ◽

Mojmír Křetínský ◽

Vojtěch Řehák ◽

Jan Strejček

Keyword(s):

Model Checking ◽

Rewrite Systems ◽

Ltl Model Checking

On decidability of LTL model checking for process rewrite systems

Acta Informatica ◽

10.1007/s00236-008-0082-3 ◽

2008 ◽

Vol 46 (1) ◽

pp. 1-28 ◽

Cited By ~ 8

Author(s):

Laura Bozzelli ◽

Mojmír Křetínský ◽

Vojtěch Řehák ◽

Jan Strejček

Keyword(s):

Model Checking ◽

Rewrite Systems ◽

Ltl Model Checking

Flash memory efficient LTL model checking

Science of Computer Programming ◽

10.1016/j.scico.2010.03.005 ◽

2011 ◽

Vol 76 (2) ◽

pp. 136-157 ◽

Cited By ~ 2

Author(s):

S. Edelkamp ◽

D. Sulewski ◽

J. Barnat ◽

L. Brim ◽

P. Šimeček

Keyword(s):

Model Checking ◽

Flash Memory ◽

Ltl Model Checking ◽

Memory Efficient

Implementing LTL model checking with net unfoldings

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45139-0_4 ◽

2001 ◽

pp. 37-56 ◽

Cited By ~ 23

Author(s):

Javier Esparza ◽

Keijo Heljanko

Keyword(s):

Model Checking ◽

Ltl Model Checking

A New Unfolding Approach to LTL Model Checking

Automata, Languages and Programming - Lecture Notes in Computer Science ◽

10.1007/3-540-45022-x_40 ◽

2000 ◽

pp. 475-486 ◽

Cited By ~ 16

Author(s):

Javier Esparza ◽

Keijo Heljanko

Keyword(s):

Model Checking ◽

Ltl Model Checking

Single-Pass Testing Automata for LTL Model Checking

Language and Automata Theory and Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-15579-1_44 ◽

2015 ◽

pp. 563-576

Author(s):

Ala Eddine Ben Salem

Keyword(s):

Model Checking ◽

Single Pass ◽

Ltl Model Checking

LTL Model Checking of LLVM Bitcode with Symbolic Data

Mathematical and Engineering Methods in Computer Science - Lecture Notes in Computer Science ◽

10.1007/978-3-319-14896-0_5 ◽

2014 ◽

pp. 47-59 ◽

Cited By ~ 6

Author(s):

Petr Bauch ◽

Vojtěch Havel ◽

Jiří Barnat

Keyword(s):

Model Checking ◽

Symbolic Data ◽

Ltl Model Checking

Saturation-Based Incremental LTL Model Checking with Inductive Proofs

Tools and Algorithms for the Construction and Analysis of Systems - Lecture Notes in Computer Science ◽

10.1007/978-3-662-46681-0_58 ◽

2015 ◽

pp. 643-657 ◽

Cited By ~ 3

Author(s):

Vince Molnár ◽

Dániel Darvas ◽

András Vörös ◽

Tamás Bartha

Keyword(s):

Model Checking ◽

Ltl Model Checking

Another Look at LTL Model Checking

10.21236/ada277568 ◽

1993 ◽

Cited By ~ 7

Author(s):

E. Clarke ◽

O. Grumberg ◽

K. Hamaguchi

Keyword(s):

Model Checking ◽

Ltl Model Checking

Distributed LTL model-checking in SPIN

Model Checking Software - Lecture Notes in Computer Science ◽

10.1007/3-540-45139-0_13 ◽

2001 ◽

pp. 200-216 ◽

Cited By ~ 51

Author(s):

Jiri Barnat ◽

Lubos Brim ◽

Jitka Stříbrná

Keyword(s):

Model Checking ◽

Ltl Model Checking

Multi-core SCC-Based LTL Model Checking

Hardware and Software: Verification and Testing - Lecture Notes in Computer Science ◽

10.1007/978-3-319-49052-6_2 ◽

2016 ◽

pp. 18-33 ◽

Cited By ~ 10

Author(s):

Vincent Bloemen ◽

Jaco van de Pol

Keyword(s):

Model Checking ◽

Ltl Model Checking