Zohar Manna, Nikolaj Bjørner, Anca Browne, Edward Chang, Michael Colón, Luca de Alfaro, Harish Devarajan, Arjun Kapur, Jaejin Lee, Henny Sipma, Tomás Uribe  Home/Search
Context Related
| stanford.edu/~zm/pa...steptapsoft.ps.Z uiuc.edu/~jlee44/Papers/step.ps stanford.edu/people...steptapsoft.ps.Z Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: stanford.edu/~zm/papers (more) From: stanford.edu/people/zm/papers (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: greater detail. The system implements powerful techniques for automatic invariant generation. Deductive verification almost always relies on finding, for a given program and specification, suitably strong (inductive) invariants and intermediate assertions. The user can typically provide an intuitive, high-level invariant, from which the system derives stronger, more detailed, top-down invariants. Simultaneously, bottom-up invariants are generated automatically by analyzing the program text.... (Update)
Cited by: More
Verifying Temporal Properties in HW-Hume - Grov, Ireland, Michaelson, al. (Correct)
Modeling and Analyzing SMIL Documents in SAM - Huiqun Yu Xudong (Correct)
Analyse Algorithmique de Systèmes Hybrides Polygonaux - Schneider (2002) (Correct)
Similar documents (at the sentence level):
40.0%: Workshop Summary: Computational and Complexity Issues.. - Brayton, Emerson.. (1996) (Correct)
Active bibliography (related documents): More All
0.0: Verification by Augmented Abstraction: The.. - Kesten, Pnueli, Vardi (2000) (Correct)
0.0: An Update on STeP: Deductive-Algorithmic.. - Manna, Bjørner.. (1998) (Correct)
0.0: STeP: Deductive-Algorithmic Verification of.. - Bjørner, Browne.. (1996) (Correct)
Similar documents based on text: More All
0.7: The Stanford Temporal Prover Educational Release -.. - Bjørner.. (1998) (Correct)
0.5: STeP: the Stanford Temporal Prover - Manna, Anuchitanukul.. (1994) (Correct)
0.3: Deductive Modelchecking - Sipma (1999) (Correct)
Related documents from co-citation: More All
35: The Temporal Logic of Reactive and Concurrent Systems (context) - Manna, Pnueli - 1992
30: Temporal Verification of Reactive Systems : Safety (context) - Manna, Pnueli - 1995
18: Symbolic model checking 10 20 states and beyond - Burch, Clarke et al. - 1992
BibTeX entry: (Update)
Zohar Manna et al. STeP: The stanford temporal prover. Technical report, June 1994. http://citeseer.ist.psu.edu/article/manna94step.html More
@inproceedings{ manna95step,
author = "Zohar Manna and Nikolaj Bjorner and Anca Browne and Edward Y. Chang and Michael Colon and Luca de Alfaro and Harish Devarajan and Arjun Kapur and Jaejin Lee and Henny Sipma and Tomas E. Uribe",
title = "STeP: The Stanford Temporal Prover",
booktitle = "{TAPSOFT}",
pages = "793-794",
year = "1995",
url = "citeseer.ist.psu.edu/article/manna94step.html" }
Citations (may not include all citations):191 Temporal Verification of Reactive Systems: Safety (context) - Manna, Pnueli - 1995
97 STeP: the Stanford Temporal Prover - Manna, Anuchitanukul et al. - 1994
39 Temporal verification diagrams - Manna, Pnueli - 1994
The graph only includes citing articles where the year of publication is known.
Documents on the same site (http://theory.stanford.edu/~zm/papers.html): More
Clocked Transition Systems - Manna, Pnueli (1995) (Correct)
Differential BDDs - Anuchitanukul, Manna, Uribe (1995) (Correct)
Hierarchical Verification using Verification Diagrams - Browne, Manna, Sipma (1996) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC