SPIN

The SPIN Operating System is a research project implemented in the computer programming language Modula-3, and is an Open Source project. It is… (More)
Wikipedia

Topic mentions per year

Topic mentions per year

1993-2017
01219932017

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.
2013
2013
Nowadays, model checking is recognized as an efficient technology for verifying system properties. There are many tools such as… (More)
  • figure 1
  • figure 2
  • figure 3
Is this relevant?
2011
2011
Software model checking consists in applying the most powerful results in formal verification research to programming languages… (More)
  • figure 1
  • table I
  • table I
  • figure 2
  • figure 3
Is this relevant?
Highly Cited
2002
Highly Cited
2002
The Maude LTL model checker supports on-the-fly explicit-state model checking of concurrent systems expressed as rewrite theories… (More)
  • table 1
  • table 2
  • table 3
  • table 4
  • table 5
Is this relevant?
2002
2002
Device firmware is a piece of concurrent software that achieves high performance at the cost of software complexity. They contain… (More)
  • figure 1
  • figure 2
  • figure 4
  • table 1
  • figure 5
Is this relevant?
2002
2002
The i-protocol, an optimized sliding-window protocol for GNU uucp, first came to our attention in 1995 when we used the… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 5
  • figure 6
Is this relevant?
2002
2002
The Spin tool set (Spin and Xspin) was used to validate parts of the design of a storm surge barrier control system, in… (More)
Is this relevant?
Highly Cited
1999
Highly Cited
1999
The SPIN extension presented in this article is meant as a way to facilitate the modeling and verification of object-oriented… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
Highly Cited
1995
Highly Cited
1995
This paper describes the motivation, architecture and performance of SPIN, an extensible operating system. SPIN provides an… (More)
  • figure 1
  • figure 2
  • figure 3
  • figure 4
  • table 1
Is this relevant?
1993
1993
The problem to be discussed in this paper may be characterized in short by the question: “Are these two surface fragments… (More)
  • table 2
  • table 1
Is this relevant?