Efficient model-checking of dense-time systems with time-convexity analysis

DOI10.1016/J.TCS.2012.09.019zbMath1279.68222OpenAlexW2098021313MaRDI QIDQ1935781

Farn Wang

Publication date: 19 February 2013

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

Full work available at URL: https://doi.org/10.1016/j.tcs.2012.09.019

zbMATH Keywords

verificationmodel-checkingconvextimed automatonTCTLtime convextimed inevitabilitytimed precondition

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Logic in computer science (03B70) Specification and verification (program logics, model checking, etc.) (68Q60)

Related Items (1)

Model Checking Real-Time Systems

Uses Software

• Unnamed Item

This page was built for publication: Efficient model-checking of dense-time systems with time-convexity analysis