Specialized knowledge:

• Knowledge about Formalism in Specification, Semantics and  area of application
• Knowledge about different verification tools
• basic methods and modeling of verification concerns
• Exemplary knowledge about certification and industrial standards concerning verification

Kognitive and practical skills:

• Practical experiences with specification formalism concerninc semantics and Requirement Engineering
• Practical experiences with verification tools
• Practical modelling and verification of systems and result interpretation

Social competences, innovation competences and creativity:

• Understanding the possible danger caused by incorrect software and hardware
• Understanding the meaning of formal methods in product development
• Using theoretical concept in practical concerns

• Methods for modeling and specificatoin by logic, automaton, assertions and coverage criteria.
• verification tools, (model checker, static analysis, theorem proof, testing)
• Practical experiences with verification tools
• Basics about certification and  standards concerning industrial validitation

ECTS Breakdown:

36h Lectures
114h Exercises
---------------------------
150h total (6 ECTS)
---------------------------