Verification system for real-time specification based on extended real-time logic


Real-time system consists of many concurrent processes and behaves on strict timing conditions. It is important to verify the timing conditions o f real-time system. In this paper, we propose extended TCTL(Timed CTL) and effective real-time model checking as follows. (1)The timing description of extended TCTL consists of both freeze quantification and… (More)
DOI: 10.1109/RTCSA.1995.528771


1 Figure or Table

Slides referencing similar topics