×

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.68703
Ruys, 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

Referencing Publications by Year