Modelovanie distribuovaných systémov

Pôvodný názov:

Modelling Distributed Systems

Obsah knihy:

Táto učebnica sprevádza študentov algebraickou špecifikáciou a verifikáciou distribuovaných systémov a niektorými najvýznamnejšími formálnymi technikami verifikácie.

Autor využíva ako prostriedok jazyk CRL, ktorý bol vyvinutý na kombináciu algebry procesov a abstraktných dátových typov. Kniha sa vyvinula z úvodných kurzov o verifikácii protokolov, ktoré sa vyučujú pre študentov bakalárskeho a magisterského štúdia informatiky, a text je v celom rozsahu podporený príkladmi a cvičeniami.

Úplné riešenia sú uvedené v prílohe, zatiaľ čo hárky s cvičeniami, laboratórne cvičenia, špecifikácie príkladov a prezentácie pre prednášajúcich sú k dispozícii na webovej stránke autora. Výskumníci v tejto oblasti môžu knihu využiť ako široký prehľad súčasného stavu algebraickej špecifikácie a verifikácie.