Formal Methods and Tools (FMT)

Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS)

Section head: Prof. dr. Jaco van de Pol

The Formal Methods and Tools (FMT) group develops and applies formal theories, techniques and tools to support the development and analysis of reliable software intensive embedded systems. Various system aspects are addressed: safety, correctness, dependability and hybrid aspects. The focus points of the research are: to address quantitative aspects, such as time and probabilities; to scale the methods by developing parallel and distributed algorithms and tools; and to make verification and testing techniques directly applicable to design models and actual software.Keywords: model-based testing, model checking, semantics, hybrid systems, probabilistic and stochastic systems, real-time systems, partial-order methods.

Key persons: prof. dr. Jaco van de Pol, prof. dr. Ed Brinksma, dr. Marieke Huisman, prof. dr. ir. J.P. Katoen, dr. ir. R. Langerak, prof. dr. ir. A. Rensink, dr. M. Stoelinga, dr.rer.nat. Michael Weber

Projects:

European funding:

·	INESS: INtegrated European Signalling System

·	CHARTER: Critical and High Assurance Requirements Transformed through Engineering Rigour

·	QUASIMODO: Quantitative System Properties in Model-Driven-Design of Embedded Systems

National funding:

·	GRAIL: Graphs for Abstract Interpretation of Languages

·	MCMC: Multi-Core Model Checking

·	ROCKS: RigorOus dependability analysis using model ChecKing techniques for Stochastic systems

·	SlaLoM: Security by Logic for Multithreaded applications

·	SYRUP: SYmbolic RedUction of Probabilistic Models

3 TU projects:

·	MCMC: Multi-Core Model Checking

·	STOP: Symbolic Translation Of stochastic Processes

Publications FMT