690 search results - page 7 / 138 » Testing Temporal Logic Properties in Distributed Systems |
110
Voted
TIME
2008
IEEE
15 years 6 months ago
2008
IEEE
In this paper we consider the specification and verification of infinite-state systems using temporal logic. In particular, we describe parameterised systems using a new variet...
96
Voted
CAV
2003
Springer
15 years 5 months ago
2003
Springer
Run-time monitoring of temporal properties and assertions is used for testing and as a component of execution-based model checking techniques. Traditional run-time monitoring howev...
98
Voted
ATAL
2005
Springer
15 years 6 months ago
2005
Springer
We present a general logic of explicit knowledge represented as finite sets of logical formulae which can evolve by nondeterministic reasoning and communication. It is partly bas...
AMAST
2004
Springer
15 years 4 months ago
2004
Springer
Since Z, being a state-based language, describes a system in terms of its state and potential state changes, it is natural to want to describe properties of a specified system also...
88
Voted
JMM2
2008
15 years 10 days ago
2008
The preservation of temporal dependencies among different media data, such as text, still images, video and audio, and which have simultaneous distributed sources as origin, is an ...