3028 search results - page 51 / 606 » Integrating Temporal Logics |
139
click to vote
ENTCS
2006
15 years 4 months ago
2006
Temporal logics are well suited for the specification and verification of systems of communicating agents. In this paper we adopt a social approach to agent communication, where c...
135
Voted
FORMATS
2008
Springer
15 years 5 months ago
2008
Springer
Metric Temporal Logic (MTL) is a widely-studied real-time extension of Linear Temporal Logic. In this paper we survey results about the complexity of the satisfiability and model c...
141
click to vote
AMAI
2006
Springer
15 years 4 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
135
click to vote
AAI
2010
14 years 11 months ago
2010
In this paper, we propose a proof system for reasoning on certain specifications of secure authentication systems. For this purpose, a new logic, sequence-indexed linear-time temp...