Principles of the Spin Model Checker

Principles of Spin is an introductory book, the only requirement is a background in programming. The Spin model checker is not only a widely used professional tool but it is also a superb tool for teaching important concepts of computer science such as verification, concurrency and nondeterminism.

Principiile Spinului este o carte introductiva, singura cerinta este un fundal in programare. Modelele de rotire sunt scrise in limba Promela, care este usor de invatat de catre studenti si programatori.