Model checking duration calculus: a practical approach
type: Item
instance of: scholarly article
title: Model checking duration calculus: a practical approach
zbMATH Open document ID: 1151.68487
author: Roland Meyer
author: Johannes Faber
author: Jochen Hoenicke
author: Andrey Rybalchenko
published in: Formal Aspects of Computing
publication date: 2008-08-21T00:00:00Z
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 68Q45
zbMATH DE Number: 5314962
zbMATH Keywords: Model checking
zbMATH Keywords: Verification
zbMATH Keywords: Duration Calculus
zbMATH Keywords: Timed automata
zbMATH Keywords: Real-time systems
zbMATH Keywords: European Train Control System
zbMATH Keywords: Case study
describes a project that uses: MoDeST
describes a project that uses: HyTech
describes a project that uses: Uppaal
describes a project that uses: ARMC
describes a project that uses: IDLVALID
MaRDI profile type: Publication
full work available at URL: s00165-008-0082-7
OpenAlex ID: W2138362538
cites work: The power of reachability testing for timed automata
cites work: A theory of timed automata
cites work: Slicing Concurrent Real-Time System Specifications for Verification
cites work: Q2754081
cites work: Static Analysis
cites work: Constructing Test Automata from Graphical Real-Time Requirements
cites work: Deciding an Interval Logic with Accumulated Durations
cites work: Verifying CSP-OZ-DC Specifications with Complex Data Types and Timing Parameters
cites work: Model-checking dense-time duration calculus
cites work: Abstractions from proofs
cites work: FM 2005: Formal Methods
cites work: Q4654725
cites work: Q3777424
cites work: FSTTCS 2005: Foundations of Software Technology and Theoretical Computer Science
cites work: Computer Aided Verification
cites work: Model Checking Duration Calculus: A Practical Approach
cites work: Interval duration logic: expressiveness and decidability
cites work: Differential Dynamic Logic for Verifying Parametric Hybrid Systems
cites work: Transition predicate abstraction and fair termination
cites work: Constraint Solving for Interpolation
cites work: Q4940107
cites work: Verification of concurrent programs: The automata-theoretic framework
cites work: Duration calculus. A formal approach to real-time systems.
cites work: Q4281508
DOI: 10.1007/S00165-008-0082-7
description: scientific article; zbMATH DE number 5314962