×

STeP

swMATH ID: 17948
Software Authors: N. Bjørner, I.A. Browne, E. Chang, M. Colón, A. Kapur, Z. Manna, H.B. Sipma, T.E. Uribe
Description: The Stanford Temporal Prover, STeP, is being developed by the REACT research group to support the computer-aided formal verification of reactive, real-time and hybrid systems based on their temporal specification. Unlike most systems for temporal verification, STeP is not restricted to finite-state systems, but combines model checking with deductive methods to allow the verification of a broad class of systems, including parameterized (N-component) circuit designs, parameterized (N-process) programs, and programs with infinite data domains.
Homepage: http://www-step.stanford.edu
Related Software: PVS; SPIN; Uppaal; Kronos; HyTech; Java PathFinder; MONA; TLAPS; RGITL; KIV; VeriFast; HSolver; LattE; Benchmarks; RSOLVER; PHAVer; QEPCAD; Java-MaC; JPAX; HOL-Z
Referenced in: 33 Publications

Referencing Publications by Year