An Optimal Automata Approach to LTL Model Checking of Probabilistic Systems

Logic for Programming, Artificial Intelligence, and Reasoning - Lecture Notes in Computer Science ◽

10.1007/978-3-540-39813-4_26 ◽

2003 ◽

pp. 361-375 ◽

Cited By ~ 22

Author(s):

Jean-Michel Couvreur ◽

Nasser Saheb ◽

Grégoire Sutre

Keyword(s):

Model Checking ◽

Probabilistic Systems ◽

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 ◽

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

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 ◽

Cited By ~ 23

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 ◽

Cited By ~ 16

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 ◽

Cited By ~ 6

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 ◽

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

Download Full-text

Model Checking Hierarchical Probabilistic Systems

Formal Methods and Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-16901-4_26 ◽

2010 ◽

pp. 388-403 ◽

Cited By ~ 16

Author(s):

Jun Sun ◽

Songzheng Song ◽

Yang Liu

Keyword(s):

Model Checking ◽

Probabilistic Systems

Download Full-text

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

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 ◽

Cited By ~ 51

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 ◽

Cited By ~ 10

Author(s):

Vincent Bloemen ◽

Jaco van de Pol

Keyword(s):

Model Checking ◽

Ltl Model Checking

Download Full-text