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

Abstract

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

Topics

Statistics

051015'96'98'00'02'04'06'08'10'12'14'16'18
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} }