HRELTL: a temporal logic for hybrid systems
From MaRDI portal
Publication:897648
DOI10.1016/j.ic.2015.06.006zbMath1332.68139OpenAlexW1025423628WikidataQ62041125 ScholiaQ62041125MaRDI QIDQ897648
Stefano Tonetta, Alessandro Cimatti, Marco Roveri
Publication date: 7 December 2015
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.ic.2015.06.006
Specification and verification (program logics, model checking, etc.) (68Q60) Temporal logic (03B44)
Related Items
Diagnosability of fair transition systems ⋮ Tightening the contract refinements of a system architecture ⋮ Linear temporal logic for hybrid dynamical systems: characterizations and sufficient conditions ⋮ A complete uniform substitution calculus for differential dynamic logic
Uses Software
Cites Work
- Unnamed Item
- Real-time logics: Complexity and expressiveness
- A calculus of durations
- Abstractions for hybrid systems
- SAT-Based Model Checking without Unrolling
- Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
- Multiple Viewpoint Contract-Based Specification and Design
- Requirements Validation for Hybrid Systems
- On the decidability of continuous time specification formalisms
- The benefits of relaxing punctuality
- Verification in continuous time by discrete reasoning
- What good are digital clocks?
- Linear Encodings of Bounded LTL Model Checking
- Differential Dynamic Logic for Verifying Parametric Hybrid Systems
- Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
- Correct Hardware Design and Verification Methods
- Hybrid Systems: Computation and Control
- Symbolic Implementation of Alternating Automata
- Computer Aided Verification
