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 555 articles , 1 standard article )

Showing results 1 to 20 of 555.
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. Chevrou, Florent; Hurault, Aurélie; Quéinnec, Philippe: On the diversity of asynchronous communication (2016)
  6. De Giacomo, Giuseppe; Lespérance, Yves; Patrizi, Fabio: Bounded situation calculus action theories (2016)
  7. Dobrikov, Ivaylo; Leuschel, Michael: Optimising the ProB model checker for B using partial order reduction (2016)
  8. Duan, Zhenhua; Tian, Cong; Zhang, Nan: A canonical form based decision procedure and model checking approach for propositional projection temporal logic (2016)
  9. 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)
  10. 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)
  11. Garousi, Vahid; Mäntylä, Mika V.: Citations, research topics and active countries in software engineering: a bibliometrics study (2016)
  12. Jebali, Fatma; Lang, Frédéric; Mateescu, Radu: Formal modelling and verification of GALS systems using GRL and CADP (2016)
  13. Kirwan, Ryan; Miller, Alice; Porr, Bernd: Model checking learning agent systems using Promela with embedded C code and abstraction (2016)
  14. Komuravelli, Anvesh; Gurfinkel, Arie; Chaki, Sagar: SMT-based model checking for recursive programs (2016)
  15. Konnov, Igor; Veith, Helmut; Widder, Josef: What you always wanted to know about model checking of fault-tolerant distributed algorithms (2016)
  16. Moreno-Delgado, Antonio; Durán, Francisco; Meseguer, José: Towards generic monitors for object-oriented real-time maude specifications (2016)
  17. Pearce, David J.: A space-efficient algorithm for finding strongly connected components (2016)
  18. 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)
  19. Vekris, Dimitris; Lang, Frédéric; Dima, Catalin; Mateescu, Radu: Verification of $\mathrmEB^3$ specifications using CADP (2016)
  20. Zhang, Nan; Duan, Zhenhua; Tian, Cong: A complete axiom system for propositional projection temporal logic with cylinder computation model (2016)

1 2 3 ... 26 27 28 next

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