Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
Journal
FORTE'2003, LNCS 2767
Pages
160-176
Date Issued
2003-09
Author(s)
Abstract
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 with respect to four criteria. Implementation and experiments are then reported. © IFIP International Federation for Information Processing 2003.
Subjects
Coverage; Real-time; Simulation; Symbolic; Verification
Other Subjects
Estimation; 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 systems
Type
conference paper