Cover of STeP, the Stanford Temporal Prover

Mark as

STeP, the Stanford Temporal Prover

Buy this book Review

More by Zohar Manna

Cover of Fundamentals of deductive program synthesis

Cover of Introduction to Mathematical Theory of Computation (Computer Science)

Cover of Lectures on the logic of computer programming

Cover of Lectures on the Logic of Computer Programming (CBMS-NSF Regional Conference Series in Applied Mathematics) (CBMS-NSF Regional Conference Series in Applied Mathematics)

Cover of Logcl Basis Cmpt Prog V1

Cover of Mathematical theory of computation

Cover of Software development technologies for reactive, real-time, and hybrid systems

Cover of Studies in automatic programming logic

Cover of Temporal verification of reactive systems

Cover of Temporal Verification of Reactive Systems

Cover of The Calculus of Computation

Cover of The Calculus of Computation: Decision Procedures with Applications to Verification

Cover of The deductive foundations of computer programming

Cover of The logical basis for computer programming

Cover of The temporal logic of reactive and concurrent systems

Cover of The Temporal Logic of Reactive and Concurrent Systems

Cover of Time for Verification

Recent activity

Rate this book to see your activity here.

Comments and reviews

Please sign in to leave a comment