Uniform sampling for timed automata with application to language inclusion measurement
Monte Carlo model checking introduced by Smolka and Grosu is an approach to analyse non-probabilistic models using sampling and draw conclusions with a given confidence interval by applying statistical inference. Though not exhaustive, the method enables verification of complex models, even in cases...
| Main Authors: | , , , |
|---|---|
| Format: | Conference item |
| Published: |
Springer Verlag
2016
|