Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems
Wang, Farn · Hwang, Geng-Dian · Yu, Fang
Original · EN
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.
English translation
This paper has no Arabic translation yet. Be the first: it takes a few seconds, and the result is stored for every future reader.