Correctness of efficient real-time model checking

MaRDI QIDQ2709812zbMATH OpenFDO

Authors Wolfgang Reif, Gerhard Schellhorn, Tobias Vollmer, Jürgen Ruf

Publication date 13 August 2001

Published in Journal of Universal Computer Science (Search for Journal in Brave)

zbMATH Keywords

real-time model checkingbitvectorsRAVEN model checker

Mathematics Subject Classification ID

Nonnumerical algorithms (68W05) Abstract data types; algebraic specification (68Q65)

Recommendations

• Model-checking for real-time systems
• Correct Hardware Design and Verification Methods
• scientific article; zbMATH DE number 176728
• A space-efficient on-the-fly algorithm for real-time model checking
• Symbolic verification and analysis of discrete timed systems

Cited in

(8)

• Parametric real-time model checking using splitting trees
• scientific article; zbMATH DE number 62143 (Why is no real title available?)
• scientific article; zbMATH DE number 778419 (Why is no real title available?)
• Real-Time Model Checking on Secondary Storage
• Model Checking Real-Time Systems
• On Expressiveness and Complexity in Real-Time Model Checking
• Efficient verification of distributed real-time systems with broadcasting behaviors
• Efficient CTMC Model Checking of Linear Real-Time Objectives

Describes a project that uses

Uses Software

• RAVEN
• KIV

This page was built for publication: Correctness of efficient real-time model checking

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