SPIN model checker

Known as: 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… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1977-2017
010203019772017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2016
2016
Analysis and finding errors in concurrent software/system particularly when it is used in safety or industrial critical systems… (More)
  • table I
  • figure 3
  • table II
  • figure 6
  • table III
Is this relevant?
2014
2014
As General-Purpose Graphics Processing Units (GPGPUs)become more powerful, they are being used increasingly often in high… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 4
Is this relevant?
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… (More)
  • figure 2
  • figure 3
  • table 1
  • table 2
  • table 3
Is this relevant?
Highly Cited
2008
Highly Cited
2008
As known, to finish this book, you may not need to get it at once in a day. Doing the activities along the day may make you feel… (More)
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… (More)
  • table I
  • table II
  • figure 2
  • figure 1
  • figure 3
Is this relevant?
2006
2006
Symmetry reduced model checking is hindered by two problems: how to identify state space symmetry when systems are not fully… (More)
  • figure 1
  • table 1
Is this relevant?
Highly Cited
2004
Highly Cited
2001
Highly Cited
2001
This paper documents an application of the finite state model checker SPIN to formally verify a multi–threaded plan execution… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 8
Is this relevant?
Highly Cited
2000
Highly Cited
2000
This paper describes a translator called Java PathFinder (Jpf), which translates from Java to Promela, the modeling language of… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
Statechart Diagrams provide a graphical notation for describing dynamic aspects of system behaviour within the Unified Modelling… (More)
  • figure 1
  • figure 2
  • table 1
  • figure 3
Is this relevant?