High quality behavioral verification using statistical stopping criteria.
Amjad HajjarTom ChenIsabelle MunnAnneliese Amschler AndrewsMaria BjorkmanPublished in: DATE (2001)
Keyphrases
- stopping criteria
- high quality
- clustering algorithm
- statistical analysis
- data driven
- low quality
- ground truth
- high resolution
- multiscale
- real time
- statistical methods
- data mining
- formal verification
- hypothesis testing
- higher quality
- information theoretic
- statistical models
- model checking
- petri net
- image quality
- markov random field