scientific article
From MaRDI portal
Publication:3384172
zbMath1483.68207arXiv1709.02103MaRDI QIDQ3384172
Publication date: 14 December 2021
Full work available at URL: https://arxiv.org/abs/1709.02103
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Specifying message passing and time-critical systems with temporal logic
- Real-time logics: Complexity and expressiveness
- Event-clock automata: a determinizable class of timed automata
- On the expressiveness of TPTL and MTL
- LTL with the freeze quantifier and register automata
- On the Expressiveness of MTL Variants over Dense Time
- Memory Event Clocks
- Combination Methods for Satisfiability and Model-Checking of Infinite-State Systems
- Requirements Validation for Hybrid Systems
- On the decidability of continuous time specification formalisms
- The benefits of relaxing punctuality
- Infinite-State Liveness-to-Safety via Implicit Abstraction and Well-Founded Relations
- An Expressive Temporal Logic for Real Time
