Exact Acceleration of Real-Time Model Checking

DOI10.1016/S1571-0661(04)80473-0zbMath1270.68170MaRDI QIDQ2842578

Martijn Hendriks, Kim Guldstrand Larsen

Publication date: 15 August 2013

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

Mathematics Subject Classification ID

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

Related Items (1)

Accelerating worst case execution time analysis of timed automata models with cyclic behaviour

Uses Software

• Uppaal

Cites Work

• Model-checking in dense real-time
• Uppaal in a nutshell
• Symbolic reachability analysis of FIFO-channel systems with nonregular sets of configurations
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Exact Acceleration of Real-Time Model Checking