Skip to search formSkip to main content
You are currently offline. Some features of the site may not work correctly.

SPIN model checker

Known as: SPIN (model checker), SPIN (verification system), Spin 
SPIN is a general tool for verifying the correctness of distributed software models in a rigorous and mostly automated fashion. It was written by… Expand
Wikipedia

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
Highly Cited
2012
Highly Cited
2012
We describe an extension of the Spin model checker that allows us to take advantage of the increasing number of cpu-cores… Expand
  • figure 2
  • figure 3
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2008
Highly Cited
2008
Principles of Spin is an introductory book, the only requirement is a background in programming. Spin models are written in the… Expand
Is this relevant?
Highly Cited
2007
Highly Cited
2007
We describe an extension of the SPIN model checker for use on multicore shared-memory systems and report on its performance. We… Expand
  • table 1
  • figure 1
  • table 2
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2004
Highly Cited
2004
 
Is this relevant?
Highly Cited
2004
Highly Cited
2004
This paper presents a set of tools and techniques for analyzing interactions of composite web services which are specified in… Expand
  • figure 1
  • figure 3
  • figure 2
  • figure 4
  • figure 5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
Master SPIN, the breakthrough tool for improving software reliabilitySPIN is the world's most popular, and arguably one of the… Expand
  • figure 1.2
  • figure 2.3
  • figure 2.6
  • figure 3.2
  • figure 5.5
Is this relevant?
Highly Cited
2003
Highly Cited
2003
A collapsible metal frame is attachable to the front of a switchboard assembly and allows a circuit breaker to be withdrawn from… Expand
Is this relevant?
Highly Cited
2000
Highly Cited
2000
Abstract.This paper describes a translator called Java PathFinder (Jpf), which translates from Java to Promela, the modeling… Expand
  • figure 2
  • figure 8
  • figure 12
  • figure 16
  • figure 28
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Abstract. Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified… Expand
  • figure 1
  • figure 2
  • table 1
  • figure 3
Is this relevant?
Highly Cited
1997
Highly Cited
1997
 
Is this relevant?