Larger Automata and Less Work for LTL Model Checking

2006 ◽  
pp. 53-70 ◽  
Author(s):  
Jaco Geldenhuys ◽  
Henri Hansen
Keyword(s):  
Model Checking ◽  
Ltl Model Checking

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