An Improved Case-Based Approach to LTL Model Checking

2006 ◽  
pp. 190-202 ◽  
Author(s):  
Fei Pu ◽  
Wenhui Zhang ◽  
Shaochun Wang
Keyword(s):  
Model Checking ◽  
Ltl Model Checking ◽  
Case Based

scholarly journals Flash memory efficient LTL model checking

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

scholarly journals Another Look at LTL Model Checking

1993 ◽  
Author(s):  
E. Clarke ◽  
O. Grumberg ◽  
K. Hamaguchi
Keyword(s):  
Model Checking ◽  
Ltl Model Checking

Distributed LTL model-checking in SPIN

2001 ◽  
pp. 200-216 ◽  
Author(s):  
Jiri Barnat ◽  
Lubos Brim ◽  
Jitka Stříbrná
Keyword(s):  
Model Checking ◽  
Ltl Model Checking
Sign in / Sign up

Export Citation Format

Share Document