Publication Details

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

by Manna, Z. et. al.

in 8th Intl. Conf. on Computer-Aided Verification, vol. 1102, pp. 415-418,

Published by Springer-Verlag
1996.

Note: See also: Zohar Manna and the STeP group. User’s Manual for STeP: The Stanford Temporal Prover (Educational Release). Technical report STAN-CS-TR-95-1562, Computer Science Department, Stanford University, November 1995. 138 pages. Zohar Manna and the STeP group. STeP: The Stanford Temporal Prover. Technical report STAN-CS-TR-94-1518, Computer Science Department, Stanford University, July 1994. 44 pages.

Electronic Copies

BibTeX

EndNote

AIC Personnel

	Name	Title	E-mail
	Uribe, Tomas E	Computer Scientist