Methods and Tools for Verification

The Methods and Tools for Verification (MTV) programme is targeted towards ambitious computer science students, who want to become

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.

Apart from the general attainment levels for the Computer Science Master, MTV graduates demonstrate their specialist knowledge as follows.

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.

Programme mentor

My picture

Prof. dr. M. (Marieke) Huisman

Room: Zilverling 3039; Phone: 053 489 4662; Email: m.huisman@utwente.nl

The Formal Methods and Tools (FMT) group is responsible for the MTV Master programme. The MTV Master programme is closely related to the CTIT research on the topic of dependable systems. See also the related Twente Graduate school Programme Dependable and Secure Computing

Website

More information on the course programme is available on the website of the Formal Methods and Tools group.