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


References in zbMATH (referenced in 559 articles , 1 standard article )

Showing results 1 to 20 of 559.
Sorted by year (citations)

1 2 3 ... 26 27 28 next

  1. Adzkiya, Dieky; Zhang, Yining; Abate, Alessandro: VeriSIMPL 2: an open-source software for the verification of max-plus-linear systems (2016)
  2. André, Étienne; Benmoussa, Mohamed Mahdi; Choppy, Christine: Formalising concurrent UML state machines using coloured Petri nets (2016)
  3. Arcaini, Paolo; Holom, Roxana-Maria; Riccobene, Elvinia: ASM-based formal design of an adaptivity component for a cloud system (2016)
  4. Basu, Samik; Bultan, Tevfik: On deciding synchronizability for asynchronously communicating systems (2016)
  5. Bérard, Béatrice; Lafourcade, Pascal; Millet, Laure; Potop-Butucaru, Maria; Thierry-Mieg, Yann; Tixeuil, Sébastien: Formal verification of mobile robot protocols (2016)
  6. Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe: On the diversity of asynchronous communication (2016)
  7. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio: Bounded situation calculus action theories (2016)
  8. Dobrikov, Ivaylo; Leuschel, Michael: Optimising the ProB model checker for B using partial order reduction (2016)
  9. Duan, Zhenhua; Tian, Cong; Zhang, Nan: A canonical form based decision procedure and model checking approach for propositional projection temporal logic (2016)
  10. Esparza, Javier; Křetínský, Jan; Sickert, Salomon: From LTL to deterministic automata. A safraless compositional approach (2016)
  11. 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)
  12. Feo-Arenis, Sergio; Westphal, Bernd; Dietsch, Daniel; Muñiz, Marco; Andisha, Siyar; Podelski, Andreas: Ready for testing: ensuring conformance to industrial standards through formal verification (2016) ioport
  13. Garousi, Vahid; Mäntylä, Mika V.: Citations, research topics and active countries in software engineering: a bibliometrics study (2016) ioport
  14. Ghassemi, Fatemeh; Fokkink, Wan: Model checking mobile ad hoc networks (2016)
  15. Jebali, Fatma; Lang, Frédéric; Mateescu, Radu: Formal modelling and verification of GALS systems using GRL and CADP (2016)
  16. Kirwan, Ryan; Miller, Alice; Porr, Bernd: Model checking learning agent systems using Promela with embedded C code and abstraction (2016)
  17. Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar: SMT-based model checking for recursive programs (2016)
  18. Konnov, Igor; Veith, Helmut; Widder, Josef: What you always wanted to know about model checking of fault-tolerant distributed algorithms (2016)
  19. Pearce, David J.: A space-efficient algorithm for finding strongly connected components (2016)
  20. 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)

1 2 3 ... 26 27 28 next


Further publications can be found at: http://spinroot.com/spin/theory.html