Moby/DC -- A tool for model-checking parametric real-time specifications

DOI10.1007/3-540-36577-X_19MaRDI QIDQ4417929zbMATH OpenFDO

Authors Henning Dierks, Josef Tapken

Publication date 30 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2619/26190271.htm

Mathematics Subject Classification ID

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

Recommendations

• Model checking duration calculus: a practical approach
• Real-Time Model-Checking: Parameters everywhere
• Model-checking for real-time systems
• FST TCS 2003: Foundations of Software Technology and Theoretical Computer Science
• Model-checking for probabilistic real-time systems

Cited in

(2)

• Moby/DC
• Ernst-Rüdiger Olderog: A Life for Meaning

This page was built for publication: Moby/DC -- A tool for model-checking parametric real-time specifications

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