Table of Contents

Symbolic Model Checking in [mc]square

Student

Dipl.-Inform. John F. Schommer

Tutor

Dr.rer.nat. Bastian Schlich