TR-IIS-02-014    PDF format

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 dense-time state-spaces have also been developed. Properties of the metrics are also discussed w.r.t. four criteria. Implementation and experiments are then reported.

Keywords: coverage, verification, symbolic simulation, real-time