3909 search results - page 170 / 782 » Extreme Model Checking |
123
click to vote
SPIN
2001
Springer
15 years 7 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...
131
Voted
SPIN
2001
Springer
15 years 7 months ago
2001
Springer
98
Voted
TACAS
2001
Springer
15 years 7 months ago
2001
Springer
102
Voted
TACAS
2001
Springer
15 years 7 months ago
2001
Springer
111
Voted
TACS
2001
Springer
15 years 7 months ago
2001
Springer