Model-checking timed automata with deadlines with Uppaal
type: Item
instance of: scholarly article
title: Model-checking timed automata with deadlines with Uppaal
zbMATH Open document ID: 1259.68126
published in: Formal Aspects of Computing
publication date: 2013-03-22T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q05
zbMATH DE Number: 6148362
zbMATH Keywords: real-time systems
zbMATH Keywords: model-checking
zbMATH Keywords: urgent actions
zbMATH Keywords: timed automata with deadlines
author: Rodolfo Gomez
describes a project that uses: Uppaal
describes a project that uses: Kronos
describes a project that uses: MOTOR
describes a project that uses: IF-2.0
describes a project that uses: MoDeST
MaRDI profile type: Publication
full work available at URL: s00165-011-0185-4
OpenAlex ID: W2056343052
cites work: The power of reachability testing for timed automata
cites work: A theory of timed automata
cites work: Formal Methods for the Design of Real-Time Systems
cites work: Automatic verification of a lip-synchronisation protocol using UPPAAL
cites work: Q5200808
cites work: Timed automata with urgent transitions
cites work: Symbolic model checking for real-time systems
cites work: Results on the propositional \(\mu\)-calculus
cites work: Formal design and analysis of a gear controller
cites work: Compositional specification of timed systems
cites work: Analysis of timed systems using time-abstracting bisimulations
cites work: Analysis of a biphase mark protocol with Uppaal and PVS
cites work: Kronos: A verification tool for real-time systems
DOI: 10.1007/S00165-011-0185-4
description: scientific article; zbMATH DE number 6148362