Software Search - zbMATH Open

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
Cited in:	33 Publications

all top 5

6	Pnueli, Amir
3	Bjørner, Nikolaj S.
3	Zuck, Lenore D.
2	Armando, Alessandro
2	Browne, Anca
2	Kesten, Yonit
2	Manna, Zohar
2	Shyamasundar, Rudrapatna Kallikote
2	Sipma, Henny B.
2	Stratulat, Sorin
2	Uribe, Tomás E.
1	Agha, Gul A.
1	Attie, Paul C.
1	Ayari, Abdelwaheb
1	Basin, David A.
1	Ben-Ari, Mordechai
1	Bhattacharjee, Anup Kumar
1	Das, Champak
1	Deng, Yi
1	Dhodapkar, S. D.
1	Dixon, Clare
1	Enea, Constantin
1	Ernst, Gidon
1	Fang, Yi
1	Felty, Amy P.
1	Filliâtre, Jean-Christophe
1	Fu, Jun
1	Gribomont, E. Pascal
1	He, Xudong
1	Hennessy, Matthew C. B.
1	Hiraishi, Kunihiko
1	Hubaux, Jean-Pierre
1	Karunakar, K.
1	Kobayashi, Koich
1	Kundaji, Rohit N.
1	Logean, X.
1	McMillan, Kenneth L.
1	Meseguer Guaita, José
1	Mo, Lian
1	Olveczky, Peter Csaba
1	Owre, Sam
1	Pfähler, Jörg
1	Piterman, Nir
1	Platzer, André
1	Podelski, Andreas
1	Rajan, Basant
1	Ranise, Silvio
1	Reif, Wolfgang
1	Riely, James
1	Roşu, Grigore
1	Ruah, Sitvanit
1	Rueß, Harald
1	Rusinowitch, Michaël
1	Schellhorn, Gerhard
1	Sedletsky, Ekaterina
1	Sen, Gopa
1	Sen, Koushik
1	Seow, Kiam Tian
1	Shankar, Natarajan
1	Stickel, Mark E.
1	Tan, Hongyan
1	Théry, Laurent
1	Țiplea, Ferucio Laurențiu
1	Tofan, Bogdan
1	von Mohrenschildt, Martin
1	Wu, Jinzhao
1	Yu, Huiqun
1	Zhang, Ting

all top 5

7	Theoretical Computer Science
4	Journal of Symbolic Computation
1	Acta Informatica
1	International Journal of Systems Science
1	Automatica
1	Information and Computation
1	Journal of Automated Reasoning
1	JETAI. Journal of Experimental & Theoretical Artificial Intelligence
1	Formal Methods in System Design
1	Annals of Mathematics and Artificial Intelligence
1	Mathematical Problems in Engineering
1	European Journal of Control
1	Concurrency and Computation: Practice & Experience
1	Computer Languages, Systems & Structures

33	Computer science (68-XX)
10	Mathematical logic and foundations (03-XX)
2	Systems theory; control (93-XX)