3028 search results - page 51 / 606 » Integrating Temporal Logics |
ENTCS
2006
13 years 10 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...
POPL
2009
ACM
14 years 10 months ago
2009
ACM
FORMATS
2008
Springer
13 years 11 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...
AMAI
2006
Springer
13 years 10 months ago
2006
Springer
We present a tableau-based algorithm for obtaining a B
AAI
2010
13 years 5 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...