579 search results - page 26 / 116 » On a Temporal Logic for Object-Based Systems |
126
click to vote
CAISE
2006
Springer
15 years 7 months ago
2006
Springer
Static function hierarchies and models of the dynamic behaviour are typically used in e-commerce systems. Issues to be verifies are the completeness and correctness of the static f...
138
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...
148
click to vote
CLIMA
2011
2011
Justice Delayed Is Justice Denied: Logics for a Temporal Account of Reparations and Legal Compliance
14 years 3 months ago
In this paper we extend the logic of violation proposed by [14] with time, more precisely, we temporalise that logic. The resulting system allows us to capture many subtleties of t...
150
click to vote
CADE
2005
Springer
16 years 4 months ago
2005
Springer
Proof planning is an automated reasoning technique which improves proof search by raising it to a meta-level. In this paper we apply proof planning to First-Order Linear Temporal L...
116
click to vote
FOCS
1989
IEEE
15 years 8 months ago
1989
IEEE
We introduce a temporal logic for the speci cation of real-time systems. Our logic, TPTL, employs a novel quanti er construct for referencing time: the freeze quanti er binds a var...