SSTeP, the Stanford Temporal ProverSTeP, the Stanford Temporal Proverde Zohar MannaMateriasAutomatic theorem provingEdiciones (1)STeP, the Stanford Temporal Prover (1994)Dept. of Computer Science, Stanford University · inglésMás obras de Zohar MannaThe Calculus of Computation: Decision Procedures with Applications to VerificationThe Temporal Logic of Reactive and Concurrent SystemsTemporal Verification of Reactive Systems
