Hodnotenie:
Momentálne nie sú žiadne recenzie čitateľov. Hodnotenie je založené na 2 hlasoch.
Principles of the Spin Model Checker
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.
