Formal Methods and Tools

In the Formal Methods and Tools (FMT) research group, formal techniques and tools are developed and used as a means to support the development of software. This includes the development of formal theories of concurrency, design methodologies for distributed systems, and correctness assessment using verification or validation techniques. The group is also concerned with the development of traditional tools such as compilers and interpreters. In both research and courses much attention is paid to the applicability of formal methods.

The FMT group is part of the Faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) at the University of Twente. The FMT group also participates in the research institute CTIT.

Upcoming Events (for recurrent events only next 7 days are shown)

Today, 16:00, Hal B -2FBSc Presentation: Jeroen Vonk: Bisimulation reduction with MapReduce
Tomorrow, 16:00, Carre -2LBSc Presentation: Jochem Elsinga: On a Framework for Domain Independent Heuristics in Graph Transformation Planning
Sep 14-16, WaaierSymposium GEOBIA 2016

More events; more lunch colloquia.

Press Releases and Media Coverage

Jul 21, 2016

Article mentioning Alfons Laarman in AD because he received a VENI grant: 250.000 Euro voor 2 talentvolle UT onderzoekers. [in Dutch]

Jul 20, 2016

Article mentioning Alfons Laarman in Tubantia because he received a VENI grant: 250.000 euro voor 2 talentvolle UT-onderzoekers. [in Dutch]

Jul 14, 2016

Interview with Marieke Huisman in Accountancy vanmorgen: Marieke Huisman UT Twente: ‘ICT-ers moeten beter communiceren, eindgebruikers moeten weten wat zij willen’. [in Dutch]

More press releases and media coverage.

Latest News

Jul 15, 2016

Alfons Laarman receives VENI grant

Alfons Laarman received a VENI grant from NWO for his research on parallel algorithms for depth-first graph traversal. His project belongs to 15% selected projects, and it is one out of 12 awarded projects in 'Physical Sciences'. From the NWO site:

Parallelism in depth 
Dr. A. W. (Alfons) Laarman (m), UT – Computer Science 
The fastest route through busy traffic, the correctness of complex digital systems and the analysis of social-media, or computer networks are all problems that are solved efficiently by “depth-first” search algorithms. The researcher will adapt all these algorithms at once to exploit modern multi-core computers: the future of computer science. 

Further information.
Apr 06, 2016

Marielle Stoelinga and Marcus Gerhold win best paper award at ETAPS 2016

During the Euopean Joint Conferences on Theory and Practice and Software 2016 (ETAPS'16) in Eindhoven Mariëlle Stoelinga and Marcus Gerhold win the EASST best paper for their paper titled 'Model-Based Testing of Probabilistic Systems'. 

Their work describes the testing process of systems that make use of probability and how to check whether or not they were implemented correctly.

Further information.
Apr 06, 2016

Results announced for the VerifyThis 2016 Program Verification Competition, co-organised by Marieke Huisman

VerifyThis 2016 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016) on April 2-3, 2016 in Eindhoven, the Netherlands. It is the 5th event in the VerifyThis competition series.


  • Best problem submission: Daniel Grahl, for suggesting "Strassen's algorithm", which inspired the matrix multiplication challenge.
  • Distinguished user-assistance tool feature: Alexander J. Summers and Malte Schwerhoff (Viper) for their support of quantified permissions.
  • Best student team (2x): Martin Clochard (Why3), Léon Gondelman & Mário Pereira (Why3)
  • Best team: Bart Jacobs (VeriFast)


More information:


More news.

Latest Publications

(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)

Ahmad, W. and Jongerden, M.R. and Stoelinga, M.I.A. and van de Pol, J.C. (2016) Model checking and evaluating QoS of batteries in MPSoC dataflow applications via hybrid automata. In: Proceedings of the 16th International Conference on Application of Concurrency to System Design, ACSD 2016, 19 - 24 June 2016, Toruń, Poland. pp. 114-123. IEEE Computer Society. ISSN 1550-4808

Ruijters, E.J.J. and Guck, D. and van Noort, M. and Stoelinga, M.I.A. (2016) Reliability-centered maintenance of the Electrically Insulated Railway Joint via Fault Tree Analysis: A practical experience report. In: Proceedings of the 46th annual IEEE/IFIP International Conference on Dependable Systems and Networks, DSN 2016, 28 Jun - 01 Jul 2016, Toulouse, France. pp. 662-669. IEEE Computer Society. ISBN 978-1-4673-8891-7

Zhang, Xiaoyan and Zhang, Zan-Bo and Broersma, H.J. and Wen, Xuelian (2016) On the complexity of edge-colored subgraph partitioning problems in network optimization. Discrete mathematics and theoretical computer science, 17 (3). pp. 227-244. ISSN 1365-8050

Ruijters, E.J.J. and Guck, D. and Drolenga, P. and Peters, M. and Stoelinga, M.I.A. (2016) Maintenance analysis and optimization via statistical model checking: Evaluating a train pneumatic compressor. In: Proceedings of the 13th International Conference on Quantitative Evaluation of SysTems, QEST 2016, 23-25 Aug 2016, Québec City, Canada. Lecture Notes in Computer Science 9826. Springer Verlag. ISSN 0302-9743

Ruijters, E.J.J. and Stoelinga, M.I.A. (2016) Better railway engineering through statistical model checking. In: Proceedings of the 7th International Symposium on Leveraging Applications of Formal Methods, Verification and Validation, ISoLA 2016, 10-14 Oct 2016, Corfu, Greece. Lecture Notes in Computer Science. Springer Verlag. ISSN 0302-9743

More publications.