HRELTL: a temporal logic for hybrid systems
type: Item
instance of: scholarly article
title: HRELTL: a temporal logic for hybrid systems
zbMATH Open document ID: 1332.68139
author: Stefano Tonetta
author: Alessandro Cimatti
author: Marco Roveri
published in: Information and Computation
publication date: 2015-12-07T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B44
zbMATH DE Number: 6516965
zbMATH Keywords: temporal logic
zbMATH Keywords: hybrid traces
zbMATH Keywords: SAT
zbMATH Keywords: SMT
describes a project that uses: nuXmv
describes a project that uses: OCRA
describes a project that uses: VIS
describes a project that uses: PHAVer
describes a project that uses: HyTech
describes a project that uses: NuSMV
MaRDI profile type: Publication
full work available at URL: j.ic.2015.06.006
OpenAlex ID: W1025423628
cites work: The benefits of relaxing punctuality
cites work: Real-time logics: Complexity and expressiveness
cites work: Multiple Viewpoint Contract-Based Specification and Design
cites work: Linear Encodings of Bounded LTL Model Checking
cites work: SAT-Based Model Checking without Unrolling
cites work: Correct Hardware Design and Verification Methods
cites work: A calculus of durations
cites work: Q4804909
cites work: Requirements Validation for Hybrid Systems
cites work: Verification in continuous time by discrete reasoning
cites work: Hybrid Systems: Computation and Control
cites work: What good are digital clocks?
cites work: Checking Temporal Properties of Discrete, Timed and Continuous Behaviors
cites work: Computer Aided Verification
cites work: Symbolic Implementation of Alternating Automata
cites work: Differential Dynamic Logic for Verifying Parametric Hybrid Systems
cites work: On the decidability of continuous time specification formalisms
cites work: Abstractions for hybrid systems
cites work: Time-Progress Evaluation for Dense-Time Automata with Concave Path Conditions
Wikidata QID: Q62041125
DBLP publication ID: journals/iandc/CimattiRT15
DOI: 10.1016/J.IC.2015.06.006
description: scientific article; zbMATH DE number 6516965