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…