Verification Using Simulation

@inproceedings{Girard2006VerificationUS,
  title={Verification Using Simulation},
  author={Antoine Girard and George J. Pappas},
  booktitle={HSCC},
  year={2006}
}
Verification and simulation have always been complementary, if not competing, approaches to system design. In this paper, we present a novel method for so-called metric transition systems that bridges the gap between verification and simulation, enabling system verification using a finite number of simulations. The existence of metrics on the system state and observation spaces, which is natural for continuous systems, allows us to capitalize on the recently developed framework of approximate… CONTINUE READING
Highly Cited
This paper has 122 citations. REVIEW CITATIONS

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.

123 Citations

01020'08'11'14'17
Citations per Year
Semantic Scholar estimates that this publication has 123 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…