Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems

Details Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems

2003-03-25

arxiv.org/abs/cs/0303027v1

Computer Science

Software Engineering

27 pages

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Numerical Coverage Estimation for the Symbolic Simulation of Real-Time Systems will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-75625