Modelování distribuovaných systémů

Původní název:

Modelling Distributed Systems

Obsah knihy:

Tato učebnice provede studenty algebraickou specifikací a verifikací distribuovaných systémů a některými nejvýznamnějšími formálními verifikačními technikami.

Autor používá jako prostředek CRL, jazyk vyvinutý pro kombinaci algebry procesů a abstraktních datových typů. Kniha se vyvinula z úvodních kurzů verifikace protokolů vyučovaných pro studenty bakalářského a magisterského studia informatiky a text je v celém rozsahu podpořen příklady a cvičeními.

Úplná řešení jsou uvedena v příloze, zatímco listy cvičení, laboratorní cvičení, specifikace příkladů a prezentace pro přednášející jsou k dispozici na webových stránkách autora. Výzkumní pracovníci v oboru mohou knihu využít jako široký přehled současného stavu algebraické specifikace a verifikace.