LTL model checking for communicating concurrent programs

Innovations in Systems and Software Engineering ◽

10.1007/s11334-020-00363-6 ◽

2020 ◽

Vol 16 (2) ◽

pp. 161-179 ◽

Author(s):

Adrien Pommellet ◽

Tayssir Touili

Keyword(s):

Model Checking ◽

Concurrent Programs ◽

Ltl Model Checking

Download Full-text

LTL Model-Checking for Communicating Concurrent Programs

Lecture Notes in Computer Science - Verification and Evaluation of Computer and Communication Systems ◽

10.1007/978-3-030-00359-3_10 ◽

2018 ◽

pp. 150-165 ◽

Author(s):

Adrien Pommellet ◽

Tayssir Touili

Keyword(s):

Model Checking ◽

Concurrent Programs ◽

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