Companion Material for the PhD thesis "Formal Specification and Verification for Automated Production Systems"

This archive contains the evaluation for "Formal Specification and Verification for Automated Production Systems". In particular, you find evaluation environments for Chapter 7 (Evaluation (PART I - Generalized Test Tables)), 10 (Relational Test Tables), 11 (Provably Forgetting of Information), and 12 (Modular Regression Verification). For more details, refer to the READMEs of the individual sub-folders.