690 search results - page 2 / 138 » Testing Temporal Logic Properties in Distributed Systems |
TAP
2009
Springer
13 years 11 months ago
2009
Springer
PODC
1990
ACM
13 years 9 months ago
1990
ACM
Abstract. We introduce a novel extension of propositional modal logic that is interpreted over Kripke structures in which a value is associated with every possible world. These val...
FROCOS
2005
Springer
13 years 10 months ago
2005
Springer
Abstract. In this paper, we introduce a spatial and temporal logic for reasoning about distributed computation. The logic is a combination of an extension of hybrid logic, that all...
FUIN
2010
13 years 2 months ago
2010
Bounded Model Checking (BMC) is an efficient technique applicable to verification of temporal properties of (timed) distributed systems. In this paper we show for the first time ho...
ICRA
2007
IEEE
13 years 11 months ago
2007
IEEE
Abstract— Tightly-coupled multi-agent systems such as modular robots frequently exhibit properties of interest that span multiple modules. These properties cannot easily be detec...