(Master's Thesis)

• author: Vladimír Štill
• advisor: doc. RNDr. Jiří Barnat, Ph.D.

The thesis archive contains the thesis sources (in the thesis directory) and the DIVINE model checker sources in the divine directory. To compile DIVINE, please refer to the README file in the divine directory.

If you read this on github, you can find the archive in IS MU.