STeP: The Stanford Temporal Prover

Publisher Website

1 January 1995

book chapter
Published by Springer Nature in Lecture Notes in Computer Science

p. 793-794
https://doi.org/10.1007/3-540-59293-8_237

Abstract

No abstract available

Keywords

This publication has 3 references indexed in Scilit:

Temporal Verification of Reactive Systems
Published by Springer Nature ,1995
STeP: The Stanford Temporal Prover,
Published by Defense Technical Information Center (DTIC) ,1994
Temporal verification diagrams
Published by Springer Nature ,1994