SPIN swMATH ID: 3455 Software Authors: Bell Labs Description: Spin is a popular open-source software tool, used by thousands of people worldwide, that can be used for the formal verification of distributed software systems. The tool was developed at Bell Labs in the original Unix group of the Computing Sciences Research Center, starting in 1980. The software has been available freely since 1991, and continues to evolve to keep pace with new developments in the field. In April 2002 the tool was awarded the prestigious System Software Award for 2001 by the ACM Homepage: http://spinroot.com/spin/whatispin.html Programming Languages: C Keywords: general inter-ORB protocol; model checking; Promela/Spin; temporal logic; specification patterns Related Software: NuSMV; Uppaal; Bandera; Java PathFinder; Bebop; CESAR; LTL2BA; SLAM; PVS; HyTech; veriSoft; PRISM; Kronos; CADP; PROMELA; DiVinE; BLAST; Bogor; Maude; dSPIN Referenced in: 590 Publications Further Publications: http://spinroot.com/spin/theory.html Standard Articles 1 Publication describing the Software, including 1 Publication in zbMATH Year SPIN tutorial: How to become a SPIN doctor. Zbl 1077.68703Ruys, Theo C. 2002 all top 5 Referenced by 1,120 Authors 18 Duan, Zhenhua 14 Tian, Cong 14 Vardi, Moshe Ya’akov 11 Holzmann, Gerard J. 11 Zhang, Nan 10 Alur, Rajeev 9 Dwyer, Matthew B. 9 Mateescu, Radu 9 Miller, Alice Ann 8 Hatcliff, John 8 Hoffmann, Jörg 7 Donaldson, Alastair F. 7 Ipate, Florentin 6 Ciardo, Gianfranco 6 Esparza, Javier 6 Hesselink, Wim H. 6 Konur, Savas 6 Kupferman, Orna 6 Latella, Diego 6 Lefticaru, Raluca 6 Massink, Mieke 5 Calder, Muffy 5 Edelkamp, Stefan 5 Gheorghe, Marian 5 Gnesi, Stefania 5 Heljanko, Keijo 5 Ivančić, Franjo 5 Kröning, Daniel 5 Lang, Frédéric 5 Leue, Stefan 5 Meseguer Guaita, José 5 Qadeer, Shaz 5 Ramakrishnan, C. R. 5 Robby, Matthew 5 Schewe, Sven 4 Brim, Luboš 4 Bultan, Tevfik 4 Černá, Ivana 4 Dang, Thao 4 Dastani, Mehdi M. 4 Garavel, Hubert 4 Gargantini, Angelo 4 Gopalakrishnan, Ganesh Lalitha 4 Groote, Jan Friso 4 Henzinger, Thomas A. 4 Larsen, Kim Guldstrand 4 Majzik, Istvan 4 Păsăreanu, Corina S. 4 Pataricza, András 4 Peled, Doron A. 4 Podelski, Andreas 4 Rajamani, Sriram K. 4 Rehof, Jakob 4 Reniers, Michel Adriaan 4 Ribeiro, Leila 4 Rooda, Jacobus E. 4 Sebastiani, Roberto 4 Varró, Dániel 4 Veith, Helmut 4 Visser, Willem 4 Wijs, Anton J. 4 Wolper, Pierre 3 Aravind, Alex A. 3 Barnat, Jiří 3 Basin, David A. 3 Boigelot, Bernard 3 Bordini, Rafael H. 3 Bouajjani, Ahmed 3 Chen, Yu-Fang 3 Cimatti, Alessandro 3 Cook, Byron 3 Dimovski, Aleksandar S. 3 Dix, Jurgen 3 Duret-Lutz, Alexandre 3 Etessami, Kousha 3 Fokkink, Willem Jan 3 Ghassemi, Fatemeh 3 Goubault, Eric 3 Iosif, Radu 3 Kloetzer, Marius 3 Konev, Boris 3 Kulkarni, Sandeep S. 3 La Torre, Salvatore 3 Latvala, Timo 3 Lee, Insup 3 Leuschel, Michael 3 Lüttgen, Gerald 3 Man, Ka Lok 3 Mayr, Richard M. 3 Moszkowski, Ben C. 3 Pelánek, Radek 3 Penczek, Wojciech 3 Pugliese, Rosario 3 Ramakrishnan, I. V. 3 Rensink, Arend 3 Roychoudhury, Abhik 3 Ruys, Theo C. 3 Rybalchenko, Andrey 3 Schiffelers, R. R. H. 3 Sharygina, Natasha ...and 1,020 more Authors all top 5 Referenced in 74 Serials 43 Formal Aspects of Computing 35 Formal Methods in System Design 34 Theoretical Computer Science 22 Science of Computer Programming 12 The Journal of Logic and Algebraic Programming 11 Acta Informatica 9 Journal of Automated Reasoning 9 Journal of Logical and Algebraic Methods in Programming 8 Annals of Mathematics and Artificial Intelligence 7 Information and Computation 6 Journal of Applied Logic 5 Artificial Intelligence 5 Information Processing Letters 5 Journal of Computer and System Sciences 4 Real-Time Systems 4 The Journal of Artificial Intelligence Research (JAIR) 4 Logical Methods in Computer Science 3 Programming and Computer Software 3 Discrete Event Dynamic Systems 3 Journal of Combinatorial Optimization 3 Higher-Order and Symbolic Computation 3 Fundamenta Informaticae 3 Journal of Applied Mathematics 3 Journal of Membrane Computing 2 Information Sciences 2 Journal of Symbolic Computation 2 Journal of Computer Science and Technology 2 MSCS. Mathematical Structures in Computer Science 2 Distributed Computing 2 Journal of the ACM 2 Journal of Universal Computer Science 2 2 ACM Transactions on Computational Logic 1 ACM Computing Surveys 1 International Journal of Systems Science 1 Automatica 1 The Computer Journal. Section A / Section B 1 Computing 1 Annals of Pure and Applied Logic 1 International Journal of Parallel Programming 1 Computers & Operations Research 1 Journal of Logic and Computation 1 International Journal of Foundations of Computer Science 1 International Journal of Computer Mathematics 1 Cybernetics and Systems Analysis 1 Journal of Applied Non-Classical Logics 1 Journal of Functional Programming 1 The Bulletin of Symbolic Logic 1 Constraints 1 Theory of Computing Systems 1 Wuhan University Journal of Natural Sciences (WUJNS) 1 RAIRO. Theoretical Informatics and Applications 1 Theory and Practice of Logic Programming 1 Computing and Informatics 1 Computer Languages, Systems & Structures 1 Discrete Optimization 1 Science in China. Series F 1 Journal of Zhejiang University. Science A 1 DIMACS. Series in Discrete Mathematics and Theoretical Computer Science 1 Lecture Notes in Control and Information Sciences 1 Studies in Computational Intelligence 1 Mathematics in Computer Science 1 Nonlinear Analysis. Hybrid Systems 1 Foundations and Trends in Electronic Design Automation 1 Science China. Technological Sciences 1 Science China. Information Sciences 1 Statistics and Computing 1 Frontiers of Computer Science 1 Computer Science Review 1 International Journal of Systems Science. Principles and Applications of Systems and Integration 1 Lecture Notes in Business Information Processing 1 SpringerBriefs in Applied Sciences and Technology 1 Monographs in Theoretical Computer Science. An EATCS Series 1 Multiagent Systems, Artificial Societies, and Simulated Organizations all top 5 Referenced in 19 Fields 573 Computer science (68-XX) 90 Mathematical logic and foundations (03-XX) 22 Systems theory; control (93-XX) 15 Operations research, mathematical programming (90-XX) 9 Biology and other natural sciences (92-XX) 5 Game theory, economics, finance, and other social and behavioral sciences (91-XX) 5 Information and communication theory, circuits (94-XX) 4 Combinatorics (05-XX) 3 General and overarching topics; collections (00-XX) 2 Order, lattices, ordered algebraic structures (06-XX) 2 Group theory and generalizations (20-XX) 2 Numerical analysis (65-XX) 1 Number theory (11-XX) 1 Category theory; homological algebra (18-XX) 1 General topology (54-XX) 1 Algebraic topology (55-XX) 1 Statistics (62-XX) 1 Fluid mechanics (76-XX) 1 Mathematics education (97-XX) Referencing Publications by Year