(X)Spin Introduction

1
(X)Spin Introduction

• CIS 798 Presentation Abhishekh Padmanabhan

2
System Development
3
Classic Model Checking
4
SPIN Introduction
5
Promela Model
6
Xspin Architecture
7
Xspin in a nutshell
8
Mutual Exclusion (1)
9
Mutual Exclusion (2)
10
Mutual Exclusion (3)
11
Summary