Compact data structures and state-space reduction for model-checking real-time systems

DOI10.1023/A:1025132427497zbMath1081.68010OpenAlexW2167722250MaRDI QIDQ1431366

Paul Pettersson, Wang Yi, Fredrik Larsson, Kim Guldstrand Larsen

Publication date: 27 May 2004

Published in: Real-Time Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1023/a:1025132427497

zbMATH Keywords

real-time systemstimed automatamodel checkingdesign toolformal specification and verification

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)

Related Items (4)

Unnamed Item ⋮ Model checking time-dependent system specifications using time stream Petri nets and \texttt{UPPAAL} ⋮ Model-checking precision agriculture logistics: the case of the differential harvest ⋮ Formal verification of multitasking applications based on timed automata model

Uses Software

• Uppaal

This page was built for publication: Compact data structures and state-space reduction for model-checking real-time systems