Principiile verificatorului de model Spin

Recenzii ale cititorilor

În prezent, nu există recenzii ale cititorilor. Evaluarea se bazează pe 2 voturi.

Titlul original:

Principles of the Spin Model Checker

Conținutul cărții:

Principles of Spin este o carte introductivă, singura cerință este un background în programare.

Modelele Spin sunt scrise în limbajul Promela, care este ușor de învățat de către studenți și programatori. Spin este ușor de instalat și de utilizat.

Verificatorul de modele Spin nu este doar un instrument profesional utilizat pe scară largă, ci este, de asemenea, un instrument superb pentru predarea unor concepte importante ale informaticii, cum ar fi verificarea, concurența și nedeterminismul. Cartea prezintă un software bazat pe Spin pe care autorul l-a dezvoltat pentru predare: jSpin - un mediu de dezvoltare integrat pentru Spin. SpinSpider - utilizează ieșirea din Spin pentru a construi automat diagrame de stare ale programelor concurente.

VN este un instrument pentru vizualizarea nedeterminismului. Programe complete vor demonstra fiecare construcție și concept, iar aceste programe vor fi disponibile pe un site web asociat.