SPIN
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
Keywords for this software
References in zbMATH (referenced in 633 articles , 1 standard article )
Showing results 1 to 20 of 633.
Sorted by year (- Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro: VeriSIMPL 2: an open-source software for the verification of max-plus-linear systems (2016)
- André, Étienne; Benmoussa, Mohamed Mahdi; Choppy, Christine: Formalising concurrent UML state machines using coloured Petri nets (2016)
- Arcaini, Paolo; Holom, Roxana-Maria; Riccobene, Elvinia: ASM-based formal design of an adaptivity component for a cloud system (2016)
- Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe: On the diversity of asynchronous communication (2016)
- De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio: Bounded situation calculus action theories (2016)
- Dobrikov, Ivaylo; Leuschel, Michael: Optimising the ProB model checker for B using partial order reduction (2016)
- Duan, Zhenhua; Tian, Cong; Zhang, Nan: A canonical form based decision procedure and model checking approach for propositional projection temporal logic (2016)
- Fajstrup, Lisbeth; Goubault, Eric; Haucourt, Emmanuel; Mimram, Samuel; Raussen, Martin: Directed algebraic topology and concurrency. With a foreword by Maurice Herlihy and a preface by Samuel Mimram (2016)
- Garousi, Vahid; Mäntylä, Mika V.: Citations, research topics and active countries in software engineering: a bibliometrics study (2016)
- Jebali, Fatma; Lang, Frédéric; Mateescu, Radu: Formal modelling and verification of GALS systems using GRL and CADP (2016)
- Kirwan, Ryan; Miller, Alice; Porr, Bernd: Model checking learning agent systems using Promela with embedded C code and abstraction (2016)
- Pearce, David J.: A space-efficient algorithm for finding strongly connected components (2016)
- ter Beek, Maurice H.; Fantechi, Alessandro; Gnesi, Stefania; Mazzanti, Franco: Modelling and analysing variability in product families: model checking of modal transition systems with variability constraints (2016)
- Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of $\mathrmEB^3$ specifications using CADP (2016)
- Zhang, Nan; Duan, Zhenhua; Tian, Cong: A complete axiom system for propositional projection temporal logic with cylinder computation model (2016)
- Zhang, Nan; Yang, Mengfei; Gu, Bin; Duan, Zhenhua; Tian, Cong: Verifying safety critical task scheduling systems in PPTL axiom system (2016)
- Al-Humaimeedy, Abeer S.; Fernández, Maribel: Enabling synchronous and asynchronous communications in CSP for SOC (2015)
- Bukhari, Syed Ali Asadullah; Lodhi, Faiq Khalid; Hasan, Osman; Shafique, Muhammad; Henkel, Jörg: Formal verification of distributed task migration for thermal management in on-chip multi-core systems using nuXmv (2015)
- Dabaghchian, Maryam; Abdollahi Azgomi, Mohammad: Model checking the observational determinism security property using PROMELA and SPIN (2015)
- Fearnley, John; Peled, Doron; Schewe, Sven: Synthesis of succinct systems (2015)
Further publications can be found at: http://spinroot.com/spin/theory.html