The Verus tool: A quantitative approach to the formal verification of real-time systems (1997)
Cached
Download Links
- [www-cad.eecs.berkeley.edu]
- [www.dcc.ufmg.br]
- DBLP
Other Repositories/Bibliography
by
Srgio Campos
,
Edmund Clarke
,
Marius Minea
| Venue: | Proc.9 th Int.Conf.CAV ’97, Haifa, IL,LNCS 1254 |
| Citations: | 12 - 3 self |
BibTeX
@INPROCEEDINGS{Campos97theverus,
author = {Srgio Campos and Edmund Clarke and Marius Minea},
title = {The Verus tool: A quantitative approach to the formal verification of real-time systems},
booktitle = {Proc.9 th Int.Conf.CAV ’97, Haifa, IL,LNCS 1254},
year = {1997},
pages = {452--455},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The task of checking if a computer system satisfies its timing specifications is extremely important. These systems are often used in critical applications where failure to meet a deadline can have serious or even fatal consequences. This work describes Verus, an efficient tool for performing this verification task. Using our tool,
Citations
| 464 | Symbolic model checking: An approach to the state explosion problem - Mcmillan - 1992 |
| 110 | Quantitative temporal reasoning - Emerson, Mok, et al. |
| 100 | Another Look at LTL Model Checking - Grumberg, Hamaguchi - 1994 |
| 39 | Computing quantitative characteristics of finite-state real-time systems - Campos, Clarke, et al. - 1994 |
| 27 | Verus : A tool for quantitative analysis of finite-state real-time systems - Campos, Clarke, et al. - 1995 |
| 21 | A quantitative approach to the formal verification of real-time systems - Campos - 1996 |
| 16 | Selective quantitative analysis and interval model checking: verifying different facets of a system. Computer Aided Verification - Campos, Grumberg - 1996 |
| 5 | The priority inversion problem and real-time symbolic model checking - Campos - 1993 |
| 2 | Quantitative temporal reasoning. Computer-Aided Verification - Emerson, Mok, et al. - 1990 |
| 1 | Symbolic model checking - an approach to the state explosion problem - McMiUan - 1992 |
