690 search results - page 4 / 138 » Testing Temporal Logic Properties in Distributed Systems |
75
Voted
ATAL
2007
Springer
15 years 4 months ago
2007
Springer
We propose a new class of representations that can be used for modeling (and model checking) temporal, strategic and epistemic properties of agents and their teams. Our representa...
96
Voted
ICSE
2004
IEEE-ACM
15 years 10 months ago
2004
IEEE-ACM
We describe an efficient decentralized monitoring algorithm that monitors a distributed program's execution to check for violations of safety properties. The monitoring is ba...
105
Voted
PODC
1994
ACM
15 years 2 months ago
1994
ACM
We describe a method for writing assumption/guarantee specifications of concurrent systems. We also provide a proof rule for reasoning about the composition of these systems. Spec...
FORMATS
2007
Springer
15 years 4 months ago
2007
Springer
Abstract. In this paper we describe AMT, a tool for monitoring temporal properties of continuous signals. We first introduce STL/PSL, a specification formalism based on the indus...
CONCUR
1990
Springer
15 years 2 months ago
1990
Springer
In this paper we describe the calculus TCCS, an extension of the process algebra CCS with temporal constructs. The calculus is useful for the formal analysis of the timing aspects...