Presburger liveness verification of discrete timed automata.
type: Item
instance of: scholarly article
title: Presburger liveness verification of discrete timed automata.
zbMATH Open document ID: 1040.68050
DOI: 10.1016/S0304-3975(02)00485-1
author: Zhe Dang
author: Pierluigi San Pietro
author: Richard A. Kemmerer
published in: Theoretical Computer Science
publication date: 2003-05-25T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1915578
zbMATH Keywords: Model-checking
zbMATH Keywords: Timed automata
zbMATH Keywords: Temporal logic
zbMATH Keywords: Liveness
describes a project that uses: Kronos
describes a project that uses: Uppaal
describes a project that uses: ASTRAL
describes a project that uses: HyTech
MaRDI profile type: Publication
cites work: Q4817528
cites work: Model-checking in dense real-time
cites work: A theory of timed automata
cites work: The benefits of relaxing punctuality
cites work: Real-time logics: Complexity and expressiveness
cites work: A really temporal logic
cites work: Q2753678
cites work: Q4270062
cites work: Q4551181
cites work: Q2754074
cites work: Q2762788
cites work: What good are digital clocks?
cites work: Symbolic model checking for real-time systems
cites work: Reversal-Bounded Multicounter Machines and Their Decision Problems
cites work: From timed automata to logic — and back
cites work: Uppaal in a nutshell
cites work: The complexity of almost linear diophantine problems
cites work: Kronos: A verification tool for real-time systems
Recommended article: Q2762788
Recommended article: Q5094115
Recommended article: Dynamically-Driven Timed Automaton Abstractions for Proving Liveness of Continuous Systems
Recommended article: On completeness of liveness synthesis for parametric timed automata (Extended Abstract)
Recommended article: Verification of Timed Automata via Satisfiability Checking
Recommended article: Why Liveness for Timed Automata Is Hard, and What We Can Do About It
Recommended article: Verified model checking of timed automata
description: scientific article; zbMATH DE number 1915578