20 search results - page 1 / 4 » spin 2001 |
SPIN
2001
Springer
13 years 9 months ago
2001
Springer
DC
2006
13 years 4 months ago
2006
SPIN
2001
Springer
13 years 9 months ago
2001
Springer
Abstract. In this paper we propose a distributed algorithm for modelchecking LTL. In particular, we explore the possibility of performing nested depth-first search algorithm in di...
PSB
2001
13 years 6 months ago
2001
SPIN
2001
Springer
13 years 9 months ago
2001
Springer
This paper describes a reduction technique which is very useful against the state explosion problem which occurs when model checking distributed systems with several instances of t...