Executing temporal logic programs
Executing temporal logic programs
Higher order logic and hardware verification
Higher order logic and hardware verification
Refining Interval Temporal Logic Specifications
ARTS '97 Proceedings of the 4th International AMAST Workshop on Real-Time Systems and Concurrent and Distributed Software: Transformation-Based Reactive Systems Development
METATEM: A Framework for Programming in Temporal Logic
Stepwise Refinement of Distributed Systems, Models, Formalisms, Correctness, REX Workshop
Mexitl: Multimedia in Executable Interval Temporal Logic
Formal Methods in System Design
AI '01 Proceedings of the 14th Australian Joint Conference on Artificial Intelligence: Advances in Artificial Intelligence
Decidability of Interval Temporal Logics over Split-Frames via Granularity
JELIA '02 Proceedings of the European Conference on Logics in Artificial Intelligence
A Tableau Calculus for a Temporal Logic with Temporal Connectives
TABLEAUX '99 Proceedings of the International Conference on Automated Reasoning with Analytic Tableaux and Related Methods
A Complete Axiomatization of Interval Temporal Logic with Infinite Time
LICS '00 Proceedings of the 15th Annual IEEE Symposium on Logic in Computer Science
Model-based development of dynamically adaptive software
Proceedings of the 28th international conference on Software engineering
Framed temporal logic programming
Science of Computer Programming
AMOEBA-RT: Run-Time Verification of Adaptive Software
Models in Software Engineering
Modular verification of dynamically adaptive systems
Proceedings of the 8th ACM international conference on Aspect-oriented software development
Complete and Terminating Tableau for the Logic of Proper Subinterval Structures Over Dense Orderings
Electronic Notes in Theoretical Computer Science (ENTCS)
Compositional verification with stutter-invariant propositional projection temporal logic
ICCOMP'10 Proceedings of the 14th WSEAS international conference on Computers: part of the 14th WSEAS CSCC multiconference - Volume I
| Hi-index | 0.00 |
This paper introduces a tableau method for propositional interval temporal logic (ITL) [14]. Beyond the usual operators of linear temporal logic, ITL contains sequencing and iterative operators, ';' and proj akin to programming combinators. Central to our approach is a normal form for the formulas of ITL, particularly ';' and proj, in terms of the 'O' operator of the logic.