Zasady sprawdzania modeli spinowych

Opinie czytelników

Obecnie brak opinii czytelników. Ocena opiera się na 2 głosach.

Oryginalny tytuł:

Principles of the Spin Model Checker

Zawartość książki:

Principles of Spin jest książką wprowadzającą, jedynym wymaganiem jest znajomość programowania.

Modele Spin są napisane w języku Promela, który jest łatwy do opanowania przez studentów i programistów. Spin jest łatwy w instalacji i obsłudze.

Narzędzie do sprawdzania modeli Spin jest nie tylko szeroko stosowanym profesjonalnym narzędziem, ale jest także doskonałym narzędziem do nauczania ważnych pojęć informatyki, takich jak weryfikacja, współbieżność i niedeterminizm. Książka przedstawia oprogramowanie oparte na Spin, które autor opracował do nauczania: jSpin - zintegrowane środowisko programistyczne dla Spin. SpinSpider - wykorzystuje dane wyjściowe ze Spina do automatycznego konstruowania diagramów stanów programów współbieżnych.

VN - narzędzie do wizualizacji niedeterminizmu. Kompletne programy będą demonstrować każdą konstrukcję i koncepcję, a programy te będą dostępne na towarzyszącej stronie internetowej.