Is LTL model-checking effective for Diagnosability Verification?

IFAC-PapersOnLine ◽

10.1016/j.ifacol.2021.04.024 ◽

2020 ◽

Vol 53 (4) ◽

pp. 256-262

Author(s):

Thiago M. Tuxi ◽

Lilian K. Carvalho ◽

Eduardo V.L. Nunes ◽

Antonio E.C. Da Cunha

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

Flash memory efficient LTL model checking

Science of Computer Programming ◽

10.1016/j.scico.2010.03.005 ◽

2011 ◽

Vol 76 (2) ◽

pp. 136-157 ◽

Author(s):

S. Edelkamp ◽

D. Sulewski ◽

J. Barnat ◽

L. Brim ◽

P. Šimeček

Keyword(s):

Model Checking ◽

Flash Memory ◽

Ltl Model Checking ◽

Memory Efficient

Download Full-text

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 ◽

Author(s):

Javier Esparza ◽

Keijo Heljanko

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

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 ◽

Author(s):

Javier Esparza ◽

Keijo Heljanko

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

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

Download Full-text

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 ◽

Author(s):

Petr Bauch ◽

Vojtěch Havel ◽

Jiří Barnat

Keyword(s):

Model Checking ◽

Symbolic Data ◽

Ltl Model Checking

Download Full-text

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 ◽

Author(s):

Vince Molnár ◽

Dániel Darvas ◽

András Vörös ◽

Tamás Bartha

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

Another Look at LTL Model Checking

10.21236/ada277568 ◽

1993 ◽

Author(s):

E. Clarke ◽

O. Grumberg ◽

K. Hamaguchi

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

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 ◽

Author(s):

Jiri Barnat ◽

Lubos Brim ◽

Jitka Stříbrná

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

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 ◽

Author(s):

Vincent Bloemen ◽

Jaco van de Pol

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text

Memory-Efficient Tactics for Randomized LTL Model Checking

Lecture Notes in Computer Science - Verified Software. Theories, Tools, and Experiments ◽

10.1007/978-3-319-72308-2_10 ◽

2017 ◽

pp. 152-169

Author(s):

Kim Larsen ◽

Doron Peled ◽

Sean Sedwards

Keyword(s):

Model Checking ◽

Ltl Model Checking ◽

Memory Efficient

Download Full-text