Principy kontroly spinového modelu

Recenze čtenářů

Aktuálně nejsou k dispozici žádné recenze čtenářů. Hodnocení je založeno na 2 hlasů.

Původní název:

Principles of the Spin Model Checker

Obsah knihy:

Principles of Spin je úvodní kniha, jediným požadavkem je znalost programování.

Modely Spin jsou napsány v jazyce Promela, který se studenti a programátoři snadno naučí. Spin se snadno instaluje a používá.

Kontrolní model Spin je nejen široce používaným profesionálním nástrojem, ale je také vynikajícím nástrojem pro výuku důležitých konceptů informatiky, jako je verifikace, souběžnost a nedeterminismus. Kniha představuje software založený na Spinu, který autor pro výuku vyvinul: jSpin - integrované vývojové prostředí pro Spin. SpinSpider - využívá výstup ze Spinu k automatické konstrukci stavových diagramů souběžných programů.

VN - nástroj pro vizualizaci nedeterminismu. Kompletní programy budou demonstrovat jednotlivé konstrukce a koncepty a tyto programy budou k dispozici na doprovodných webových stránkách.