Combining search space partition and abstraction for LTL model checking

Science in China Series F Information Sciences ◽

10.1007/s11432-007-0073-y ◽

2007 ◽

Vol 50 (6) ◽

pp. 793-810 ◽

Author(s):

Fei Pu ◽

WenHui Zhang

Keyword(s):

Model Checking ◽

Search Space ◽

Space Partition ◽

Ltl Model Checking

Download Full-text

LTL Model Checking via Search Space Partition

2006 Sixth International Conference on Quality Software (QSIC'06) ◽

10.1109/qsic.2006.37 ◽

2006 ◽

Author(s):

Fei Pu ◽

Wenhui Zhang

Keyword(s):

Model Checking ◽

Search Space ◽

Space Partition ◽

Ltl Model Checking

Download Full-text

Search Space Partition and Case Basis Exploration for Reducing Model Checking Complexity

Automated Technology for Verification and Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-540-30476-0_8 ◽

2004 ◽

pp. 34-48 ◽

Author(s):

Bai Su ◽

Wenhui Zhang

Keyword(s):

Model Checking ◽

Search Space ◽

Space Partition ◽

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

Search Space Partition-Based Rule Mining

Data Mining for Association Rules and Sequential Patterns ◽

10.1007/978-1-4613-0085-4_2 ◽

2001 ◽

pp. 5-32

Author(s):

Jean-Marc Adamo

Keyword(s):

Search Space ◽

Rule Mining ◽

Space Partition

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