5015 search results - page 177 / 1003 » Model Checking a Path |
176
click to vote
FM
2001
Springer
15 years 10 months ago
2001
Springer
Classical logic cannot be used to effectively reason about systems with uncertainty (lack of essential information) or inconsistency (contradictory information often occurring when...
170
click to vote
SPIN
2001
Springer
15 years 10 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...