Parametric real-time model checking using splitting trees

MaRDI QIDQ2743711zbMATH OpenFDO

Authors R. F. Lutje Spelberg, W. J. Toetenel

Publication date 27 September 2001

Published in Nordic Journal of Computing (Search for Journal in Brave)

zbMATH Keywords

model checking of real-time systems

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60)

Recommendations

• Model-checking in dense real-time
• Real-Time Model-Checking: Parameters everywhere
• On Expressiveness and Complexity in Real-Time Model Checking
• Model-checking for real-time systems
• Model Checking Real-Time Systems
• Correctness of efficient real-time model checking
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Tree regular model checking: a simulation-based approach

Cited in

(1)

• Automated verification of an audio-control protocol using UPPAAL

This page was built for publication: Parametric real-time model checking using splitting trees

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2743711)