Pushdown timed automata: A binary reachability characterization and safety verification.
type: Item
instance of: scholarly article
title: Pushdown timed automata: A binary reachability characterization and safety verification.
zbMATH Open document ID: 1044.68085
DOI: 10.1016/S0304-3975(02)00743-0
author: Zhe Dang
published in: Theoretical Computer Science
publication date: 2003-08-17T00:00:00Z
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 1965338
zbMATH Keywords: Model-checking
zbMATH Keywords: Timed automata
zbMATH Keywords: Pushdown timed automata
zbMATH Keywords: Binary reachability
zbMATH Keywords: Presburger
zbMATH Keywords: Real-time systems
cites work: ASTRAL
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: Q2753756
cites work: Q5525343
cites work: Q4219027
cites work: Reachability analysis of pushdown automata: Application to model-checking
cites work: MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS
cites work: Q2753678
cites work: Q4270062
cites work: Q4551181
cites work: Q2754074
cites work: Q4553242
cites work: Q2762788
cites work: Q4551162
cites work: Q4223067
cites work: The complexity of decision problems for finite-turn multicounter machines
cites work: Symbolic model checking for real-time systems
cites work: Reversal-Bounded Multicounter Machines and Their Decision Problems
cites work: New Decidability Results Concerning Two-Way Counter Machines
cites work: From timed automata to logic — and back
cites work: Q4551180
cites work: Uppaal in a nutshell
cites work: Q5590814
describes a project that uses: ASTRAL
describes a project that uses: HyTech
describes a project that uses: Kronos
describes a project that uses: Uppaal
describes a project that uses: Bebop
MaRDI profile type: Publication
full work available at URL: s0304-3975(02)00743-0
OpenAlex ID: W2128090891
description: scientific article; zbMATH DE number 1965338