2 citations · 3 across the 5 of their papers we have counts for
Showing cs.SEShow all
3 papers · 1 filter
cs.SE2005★ 2 cited
Under-approximation of the Greatest Fixpoints in Real-Time System Verification
Farn Wang
Techniques for the efficient successive under-approximation of the greatest fixpoint in TCTL formulas can be useful in fast refutation of inevitability properties and vacuity check…
cs.SE2005
Under-approximation of the Greatest Fixpoint in Real-Time System Verification
Farn Wang
Techniques for the efficient successive under-approximation of the greatest fixpoint in TCTL formulas can be useful in fast refutation of inevitability properties and vacuity check…
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…