Model Checking Timed Systems with Urgencies

DOI10.1007/11901914_8MaRDI QIDQ3522900zbMATH OpenOpenAlexFDO

Authors Pao-Ann Hsiung, Yean-Ru Chen, Chun-Hsian Huang, Jia-Jen Yeh, Hongyu Sun, Chao-Sheng Lin, Hsiao-Win Liao, Shangwei Lin

Publication date 4 September 2008

Published in Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11901914_8

Mathematics Subject Classification ID

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

Recommendations

• Model-checking in dense real-time
• Timed CTL model checking in Real-Time Maude
• Model-checking timed temporal logics
• Timed automata with urgent transitions
• Model-checking for real-time systems

Cited in

(1)

• Timed automata with urgent transitions

Describes a project that uses

Uses Software

• Kronos
• Uppaal

This page was built for publication: Model Checking Timed Systems with Urgencies

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