2imf30

Here is 1 public repository matching this topic...

school-Tygo-van-den-Hurk / TUe-2IMF30-System-Validation-2026-2027

The purpose of this course is to learn how to abstractly design behavior of a system and to analyze this behavior before the system is built. You'll learn how to precisely write down behavior and prove it. With this practical assignment you will experience how to apply the techniques.

tue assignment system-validation mcrl2 practical-assignment technical-university-eindhoven 2imf30

Updated Oct 3, 2026
Nix

Add this topic to your repo

To associate your repository with the 2imf30 topic, visit your repo's landing page and select "manage topics."

Learn more