A pörgésmodell-ellenőrzés alapelvei

Olvasói vélemények

Jelenleg nincsenek olvasói vélemények. Az értékelés 2 olvasói szavazat alapján történt.

Eredeti címe:

Principles of the Spin Model Checker

Könyv tartalma:

A Principles of Spin egy bevezető könyv, az egyetlen követelmény a programozási háttér.

A Spin-modellek a Promela nyelven íródtak, amelyet a diákok és a programozók is könnyen elsajátíthatnak. A Spin könnyen telepíthető és használható.

A Spin modellellenőrző nemcsak egy széles körben használt szakmai eszköz, hanem kiválóan alkalmas az informatika fontos fogalmainak, például a verifikációnak, az egyidejűségnek és a nemdeterminizmusnak a tanítására is. A könyv bemutatja a Spin-alapú szoftvert, amelyet a szerző az oktatáshoz fejlesztett ki: jSpin - a Spin integrált fejlesztőkörnyezete. SpinSpider - a Spin kimenetét használja fel az egyidejű programok állapotdiagramjainak automatikus elkészítéséhez.

VN - a nemdeterminizmus vizualizálására szolgáló eszköz. A teljes programok minden egyes konstrukciót és fogalmat bemutatnak, és ezek a programok egy kapcsolódó weboldalon lesznek elérhetők.