Princípy kontroly spinového modelu

Recenzie čitateľov

Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.

Pôvodný názov:

Principles of the Spin Model Checker

Obsah knihy:

Principles of Spin je úvodná kniha, jedinou požiadavkou je znalosť programovania.

Modely Spin sú napísané v jazyku Promela, ktorý sa študenti a programátori ľahko naučia. Spin sa dá ľahko nainštalovať a používať.

Kontrolný model Spin je nielen široko používaným profesionálnym nástrojom, ale je aj vynikajúcim nástrojom na výučbu dôležitých konceptov informatiky, ako je verifikácia, súbežnosť a nedeterminizmus. Kniha predstavuje softvér založený na Spine, ktorý autor vyvinul na výučbu: jSpin - integrované vývojové prostredie pre Spin. SpinSpider - využíva výstup zo Spin na automatickú konštrukciu stavových diagramov súbežných programov.

VN - nástroj na vizualizáciu nedeterminizmu. Kompletné programy budú demonštrovať každú konštrukciu a koncept a tieto programy budú k dispozícii na sprievodnej webovej stránke.