1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.SC2003★ 1 cited
TCTL Inevitability Analysis of Dense-time Systems
Farn Wang, Geng-Dian Hwang, Fang Yu
Inevitability properties in branching temporal logics are of the syntax forall eventually ϕ, where ϕis an arbitrary (timed) CTL formula. In the sense that "good things will happen"…
cs.SE2003
Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
Farn Wang, Geng-Dian Hwang, Fang Yu
Three numerical coverage metrics for the symbolic simulation of dense-time systems and their estimation methods are presented. Special techniques to derive numerical estimations of…