2872 search results - page 158 / 575 » On (Omega-)Regular Model Checking |
ESOP
2001
Springer
15 years 3 months ago
2001
Springer
FM
2001
Springer
15 years 3 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...
67
Voted
FOSSACS
2001
Springer
15 years 3 months ago
2001
Springer
LOPSTR
2001
Springer
15 years 3 months ago
2001
Springer
SPIN
2001
Springer
15 years 3 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...