Methods and Tools for Verification

o

validation engineers, who know a broad range of validation techniques and tools, and know when and how to apply these techniques and tools within a system’s life cycle, and/or

o

researchers, who want to do theoretical and foundational research in the realm of formal methods, and/or

o

tool builders, who are able to implement formal theories into working tools, which then can assist system- and validation engineers in developing correct systems.

o

MTV graduates have a thorough knowledge of and understand the scope of formal methods as a scientific and design discipline.

o

MTV graduates have a thorough knowledge of, understand and gain practical experience with the application of formal methods and tools in the development process of software, distributed and/or embedded systems.

o

MTV graduates can apply formal methods and tools during system design on the basis of knowledge and insight, make an informed selection of these and contribute to their further development.

o

MTV graduates have knowledge of and understand various aspects of theoretical computer science, including process algebra, type theory, proof systems and formal testing theory.

o

MTV graduates have specialist knowledge and understanding of one or more sub-fields or aspects of the formal methods discipline, e.g. Process Algebra, Software Model Checking, Distributed Model Checking, Program Verification, Proof Systems, Testing, Quantitative Modeling and/or Analysis, Graph Transformations, Game Theory.

o

MTV graduates have practical experience conducting scientific research into formal methods, contribute to such research, apply the results, follow the trends of this sub-field and contribute to its further development.