Symbolic verification and analysis of discrete timed systems
type: Item
instance of: scholarly article
title: Symbolic verification and analysis of discrete timed systems
zbMATH Open document ID: 1065.68070
DOI: 10.1023/A:1024437214071
author: Jürgen Ruf
author: Thomas Kropf
published in: Formal Methods in System Design
publication date: 2004-03-15T00:00:00Z
Mathematics Subject Classification ID: 68Q60
zbMATH DE Number: 2057623
zbMATH Keywords: formal verification
zbMATH Keywords: real-time systems
zbMATH Keywords: symbolic model checking
zbMATH Keywords: multi terminal binary decision diagrams
describes a project that uses: Uppaal
describes a project that uses: RAVEN
MaRDI profile type: Publication
Recommended article: Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
Recommended article: Analysis and verification of real-time systems using quantitative symbolic algorithms
Recommended article: Theoretical Aspects of Computing – ICTAC 2005
Recommended article: Improvements for the Symbolic Verification of Timed Automata
Recommended article: Symbolic model checking for real-time systems
Recommended article: Symbolic Robustness Analysis of Timed Automata
Recommended article: Q4255572
Recommended article: Formal Modeling and Analysis of Timed Systems
Recommended article: Symbolic and Compositional Reachability for Timed Automata
description: scientific article; zbMATH DE number 2057623