Spin [9] is a model checker for the verification of distributed systems software. The tool is freely distributed, and often described as one of the most widely used verification systems. The Advanced Spin Tutorial is a sequel to [7] and is targeted towards intermediate to advanced Spin users
.jpg%3Fwidth%3D300&w=3840&q=75)
International audienceWe present a complete study involving in the one hand refinement and an associ...
Two main types of formal methods have been investigated, formal specification and formal verificatio...
In this report, we describe our effort to represent and model check the Distributed Feature Compo-si...
Abstract. Spin is a model checker for the verification of software sys-tems. Spin uses a high level ...
SPIN is a general verification tool for proving correctness properties of distributed or concurrent ...
This paper explains how the Spin model checker can be used to guide and inform the development of mo...
This document explains how to download and install all the software needed to properly run the Spin ...
This tutorial consists of two parts. In the first part we present an advanced overview of SPIN, and ...
This volume contains the proceedings of the 26th International Symposium on Model Checking Software,...
This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Softw...
The main limiting factor of the model checker SPIN is currently the amount of available physical mem...
We describe an extension of the SPIN model checker for use on multi-core shared-memory systems and r...
We present the first experimental results on the implementation of a multi-core model checking algor...
Abstract—We describe an extension of the SPIN model checker for use on multicore shared-memory syste...
Abstract. The main limiting factor of the model checker SPIN is cur-rently the amount of available p...
International audienceWe present a complete study involving in the one hand refinement and an associ...
Two main types of formal methods have been investigated, formal specification and formal verificatio...
In this report, we describe our effort to represent and model check the Distributed Feature Compo-si...
Abstract. Spin is a model checker for the verification of software sys-tems. Spin uses a high level ...
SPIN is a general verification tool for proving correctness properties of distributed or concurrent ...
This paper explains how the Spin model checker can be used to guide and inform the development of mo...
This document explains how to download and install all the software needed to properly run the Spin ...
This tutorial consists of two parts. In the first part we present an advanced overview of SPIN, and ...
This volume contains the proceedings of the 26th International Symposium on Model Checking Software,...
This volume contains the proceedings of the 17th International SPIN Workshop on Model Checking Softw...
The main limiting factor of the model checker SPIN is currently the amount of available physical mem...
We describe an extension of the SPIN model checker for use on multi-core shared-memory systems and r...
We present the first experimental results on the implementation of a multi-core model checking algor...
Abstract—We describe an extension of the SPIN model checker for use on multicore shared-memory syste...
Abstract. The main limiting factor of the model checker SPIN is cur-rently the amount of available p...
International audienceWe present a complete study involving in the one hand refinement and an associ...
Two main types of formal methods have been investigated, formal specification and formal verificatio...
In this report, we describe our effort to represent and model check the Distributed Feature Compo-si...
DOI
Add to ORKG