690 search results - page 14 / 138 » Testing Temporal Logic Properties in Distributed Systems |
92
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
We propose an extension of alternating-time temporal logic, that can be used for reasoning about the behavior and abilities of agents under various rationality assumptions. Catego...
88
Voted
ENTCS
2006
15 years 12 days ago
2006
We consider a first-order property specification language for run-time monitoring of dynamic systems. The language is based on a linear-time temporal logic and offers two kinds of...
106
Voted
FTDCS
2004
IEEE
15 years 4 months ago
2004
IEEE
Web services are essentially black box components from a composer's or a mediator's perspective. The behavioural description of any service can be asserted by the compos...
139
click to vote
FMCO
2004
Springer
15 years 5 months ago
2004
Springer
Abstract. A temporal logic is proposed as a tool for specifying properties of Klaim programs. Klaim is an experimental programming language that supports a programming paradigm whe...
CSR
2006
Springer
15 years 4 months ago
2006
Springer
Abstract. We prove a conjecture by A. Pnueli and strengthen it showing a sequence of "counting modalities" none of which is expressible in the temporal logic generated by...