Software Verification
Master's module Software Verification Module INF-MSc-333 Type Advanced module from research area: "Software, Security and Verification" Credits 6 Credits (Lecture + Exercise) The course teaches concepts [...] of formal methods on their own. Module type and applicability of the module Advanced module in the master programs Computer Science and Applied Computer Science Research Area: Software, Security and Verification …