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 Cited by 68 Authors 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 Cited in 14 Serials 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 Cited in 3 Fields 33 Computer science (68-XX) 10 Mathematical logic and foundations (03-XX) 2 Systems theory; control (93-XX) Citations by Year