STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems


The Stanford Temporal Prover, STeP, combines deductive methods with algorithmic techniques to verify linear-time temporal logic speciications of reactive and real-time systems. STeP uses veriication rules, veriication diagrams, automatically generated invariants, model checking, and a collection of decision procedures to verify nite-and innnite-state… (More)
DOI: 10.1007/3-540-61474-5_92



Citations per Year

86 Citations

Semantic Scholar estimates that this publication has 86 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@inproceedings{Bjrner1996STePDV, title={STeP: Deductive-Algorithmic Verification of Reactive and Real-Time Systems}, author={Nikolaj Bj\orner and Anca Browne and Edward Y. Chang and Michael Col{\'o}n and Arjun Kapur and Zohar Manna and Henny B. Sipma and Tom{\'a}s E. Uribe}, booktitle={CAV}, year={1996} }