An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems (1998)
Cached
Download Links
- [www.stanford.edu]
- [www.stanford.edu]
- [react.cs.uni-sb.de]
- DBLP
Other Repositories/Bibliography
| Venue: | IN 8TH CAV |
| Citations: | 50 - 9 self |
BibTeX
@INPROCEEDINGS{Manna98anupdate,
author = {Zohar Manna and Nikolaj S. Bjørner and Anca Browne and Michael Colon and Bernd Finkbeiner and Mark Pichora and Henny B. Sipma and Tomas E. Uribe},
title = {An Update on STeP: Deductive-Algorithmic Verification of Reactive Systems},
booktitle = {IN 8TH CAV},
year = {1998},
pages = {415--418},
publisher = {Springer-Verlag}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
The Stanford Temporal Prover, STeP, is a tool for the computer-aided formal verification of reactive systems, including real-time and hybrid systems, based on their temporal specification. STeP integrates methods for deductive and algorithmic verification, including model checking, theorem proving, automatic invariant generation, abstraction and modular reasoning. We describe the most recent version of STeP, Version 2.0.
