An iterative approach to verification of real-time systems
type: Item
instance of: scholarly article
title: An iterative approach to verification of real-time systems
zbMATH Open document ID: 0829.68050
DOI: 10.1007/BF01384315
author: Felice Balarin
author: Alberto L. Sangiovanni-Vincentelli
published in: Formal Methods in System Design
publication date: 1995-04-10T00:00:00Z
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 741355
zbMATH Keywords: real-time systems
zbMATH Keywords: region automaton
MaRDI profile type: Publication
Wikidata QID: Q57380879
cites work: Q4036557
cites work: Q4038702
cites work: Timing verification by successive approximation
cites work: Symbolic model checking for real-time systems
cites work: Q4326390
cites work: Q3707420
full work available at URL: https://doi.org/10.1007/bf01384315
OpenAlex ID: W2021739335
DBLP publication ID: journals/fmsd/BalarinS95
Recommended article: An engineering process for the verification of real-time systems
Recommended article: Real-time verification techniques for untimed systems
Recommended article: Q2764145
Recommended article: Refinement-Based Verification of Interactive Real-Time Systems
Recommended article: Q5754521
Recommended article: Runtime verification of embedded real-time systems
Recommended article: Formal verification of discrete real-time systems
description: scientific article; zbMATH DE number 741355