Axioms for real-time logics
From MaRDI portal
Publication:5958467
DOI10.1016/S0304-3975(00)00308-XzbMath0994.03009WikidataQ114655904 ScholiaQ114655904MaRDI QIDQ5958467
Thomas A. Henzinger, Jean-François Raskin, Pierre-Yves Schobbens
Publication date: 3 March 2002
Published in: Theoretical Computer Science (Search for Journal in Brave)
03B44: Temporal logic
Related Items
Distributed Event Clock Automata, A contract-based approach to adaptivity, Quantitative temporal logics over the reals: PSpace and below, Towards an Algebra for Real-Time Programs
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Specifying message passing and time-critical systems with temporal logic
- Model-checking in dense real-time
- The existence of refinement mappings
- Incompleteness of first-order temporal logic with until
- Automatic verification of finite-state concurrent systems using temporal logic specifications
- The benefits of relaxing punctuality
- An Axiomatization of the Temporal Logic with Until and Since over the Real Numbers