Program Derivations



Amitabha Sanyal,

Introduction to PROMELA and SPIN

Anup Bhattacharjee

SPIN : Preliminary Demonstration

Sampada Sonalkar,
B. Vijayalakshmi


Model Checking Distributed Software

S. Ramesh

Lab Session : Verification Using SPIN

Sampada Sonalkar,
B. Vijayalakshmi