Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System (2000)
Cached
Download Links
- [www.aladdin.cs.cmu.edu]
- [araxa.lecom.dcc.ufmg.br]
- [www.cs.technion.ac.il]
- DBLP
Other Repositories/Bibliography
by
Sergio Campos
,
Edmund M. Clarke
,
Orna Grumberg
| Venue: | Proceedings of the Eighth International Conference on Computer Aided Verification CAV, volume 1102 of Lecture Notes in Computer Science |
| Citations: | 16 - 5 self |
BibTeX
@INPROCEEDINGS{Campos00selectivequantitative,
author = {Sergio Campos and Edmund M. Clarke and Orna Grumberg},
title = {Selective Quantitative Analysis and Interval Model Checking: Verifying Different Facets of a System},
booktitle = {Proceedings of the Eighth International Conference on Computer Aided Verification CAV, volume 1102 of Lecture Notes in Computer Science},
year = {2000},
pages = {257--268},
publisher = {Springer Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
In this work we propose a verification methodology consisting of selective quantitative analysis and interval model checking. Our methods can aid not only in determining if a system works correctly, but also in understanding how well the system works.
