System Level Formal Verification via Model Checking Driven Simulation

@inproceedings{Mancini2013SystemLF,
  title={System Level Formal Verification via Model Checking Driven Simulation},
  author={Toni Mancini and Federico Mari and Annalisa Massini and Igor Melatti and Fabio Merli and Enrico Tronci},
  booktitle={CAV},
  year={2013}
}
We show how by combining Explicit Model Checking techniques and simulation it is possible to effectively carry out (bounded) System Level Formal Verification of large Hybrid Systems such as those defined using model-based tools like Simulink. We use an explicit model checker (namely, CMurphi) to generate all possible (finite horizon) simulation scenarios and then optimise the simulation of such scenarios by exploiting the ability of simulators to save and restore visited states. We show… CONTINUE READING
BETA

From This Paper

Figures, tables, and topics from this paper.

Citations

Publications citing this paper.
SHOWING 1-10 OF 35 CITATIONS, ESTIMATED 39% COVERAGE

91 Citations

01020'13'15'17'19
Citations per Year
Semantic Scholar estimates that this publication has 91 citations based on the available data.

See our FAQ for additional information.

Similar Papers

Loading similar papers…