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...
| Autores principales: | , , , |
|---|---|
| Formato: | Conference item |
| Publicado: |
Springer Verlag
2016
|