Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis

DOI10.1007/978-3-642-04368-0_7zbMath1262.68104OpenAlexW2104506636MaRDI QIDQ3648823

Victor Braberman, Nicolás Kicillof, A. Olivero, Diego Garbervestky, Daniel Monteverde

Publication date: 1 December 2009

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

Full work available at URL: https://doi.org/10.1007/978-3-642-04368-0_7

Mathematics Subject Classification ID

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

Uses Software

• Kronos
• Uppaal

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Model-checking in dense real-time
• A theory of timed automata
• Verifying temporal properties without temporal logic
• Computer Aided Verification
• Tools and Algorithms for the Construction and Analysis of Systems

This page was built for publication: Speeding Up Model Checking of Timed-Models by Combining Scenario Specialization and Live Component Analysis