FARN WANGG.-D. HuangF. Yu.2018-09-102018-09-102003-09https://www.scopus.com/inward/record.uri?eid=2-s2.0-35048877135&doi=10.1007%2f978-3-540-39979-7_11&partnerID=40&md5=50efd58b570d0464e7887e7908dcd2deThree 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 with respect to four criteria. Implementation and experiments are then reported. © IFIP International Federation for Information Processing 2003.Coverage; Real-time; Simulation; Symbolic; VerificationEstimation; Interactive computer systems; Model checking; Numerical methods; Verification; Coverage; Coverage estimations; Coverage metrics; Dense-time; Estimation methods; Numerical estimation; Real time; Symbolic simulation; Real time systemsconference paper10.1007/978-3-540-39979-7_112-s2.0-35048877135WOS:000187325300011