Exact acceleration of real-time model checking

DOI10.1016/S1571-0661(04)80473-0MaRDI QIDQ2842578zbMATH OpenFDO

Authors Martijn Hendriks, Kim G. Larsen

Publication date 15 August 2013

Published in Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80473-0

Mathematics Subject Classification ID

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

Recommendations

• Symbolic model checking for real-time systems
• scientific article; zbMATH DE number 176728
• Model-checking for real-time systems
• scientific article; zbMATH DE number 1507209
• scientific article; zbMATH DE number 2102690

Cites work

• scientific article; zbMATH DE number 1670786 (Why is no real title available?)
• scientific article; zbMATH DE number 1701758 (Why is no real title available?)
• scientific article; zbMATH DE number 3126094 (Why is no real title available?)
• scientific article; zbMATH DE number 177824 (Why is no real title available?)
• scientific article; zbMATH DE number 1519980 (Why is no real title available?)
• scientific article; zbMATH DE number 2102701 (Why is no real title available?)
• Model-checking in dense real-time
• Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
• Uppaal in a nutshell

Cited in

(6)

• Parking can get you there faster: model augmentation to speed up real-time model checking
• Efficient CTMC Model Checking of Linear Real-Time Objectives
• On Expressiveness and Complexity in Real-Time Model Checking
• scientific article; zbMATH DE number 1500565 (Why is no real title available?)
• Real-Time Model Checking on Secondary Storage
• Accelerating worst case execution time analysis of timed automata models with cyclic behaviour

Describes a project that uses

Uses Software

• Uppaal

This page was built for publication: Exact acceleration of real-time model checking

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