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)

Jul 13, 10:00, Ra 1501 Dutch Model Checking Day 2016 on Parallel and Symbolic Methods for Model Checking
Jul 13, 16:30, Waaier 4PhD Defense: Tom van Dijk: Sylvan: Multi-core Decision Diagrams

More events; more lunch colloquia.

Press Releases and Media Coverage

May 06, 2016

Article by Mariëlle Stoelinga, Vincent Bloemen, Nour Assay, Mozhan Soltani, Gamze Tillem in Bits & Chips because Start of 3TU project Big Software on the run: Joining scientific forces on big software. [in English]

Dec 10, 2015

Article mentioning Marieke Huisman: Hour of Code: Hoe leer je programmeren?. [in Dutch]

Oct 20, 2015

Article mentioning Mariëlle Stoelinga, Joost-Pieter Katoen in Tubantia because he won the German GI award for the best MSc thesis in computer science: Beste informaticascriptie van Duitsland heeft Twents tintje. [in English]

More press releases and media coverage.

Latest News

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:


Apr 05, 2016

Arnd Hartmanns wins GI/ITG MMB Dissertation Award

The GI/ITG Technical Committee of "Measurement, Modelling and Evaluation of Computing Systems" has awarded to Arnd Hartmanns the MMB Dissertation Award 2016 at the biennial MMB & DFT conference in Münster on April 5, 2016.

Arnd Hartmanns completed his Ph.D. with a thesis titled "On the Analysis of Stochastic Timed Systems" at Saarland University, Germany, supervised by Prof. Holger Hermanns. He joined the Formal Methods and Tools Group at the University of Twente as a postdoc in October 2015.

More news.

Latest Publications

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

Huisman, M. and Monahan, R. and Müller, P. and Poll, E. (2016) VerifyThis 2016: A Program Verification Competition. Technical Report TR-CTIT-16-07, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Hermanns, H. and Krämer, J. and Krčál, J. and Stoelinga, M.I.A. (2016) The Value of Attack-Defence Diagrams. In: Proceedings of the 5th International Conference on Principles of Security and Trust, POST 2016, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2016, April 2-8, 2016, Eindhoven, Netherlands. pp. 163-185. Lecture Notes in Computer Science 9635. Springer Verlag. ISSN 0302-9743 ISBN 978-3-662-49634-3

Schivo, S. and Scholma, J. and Huang, X. and Zhong, L. and van de Pol, J.C. and Karperien, H.B.J. and Langerak, R. and Post, J.N. (2016) An ECHO in biology II: Insights in chondrocyte cell fate. In: Abstracts from the 2016 OARSI World Congress on Osteoarthritis, 31 Mar - 03 Apr 2016, Amsterdam, The Netherlands. S176-S177. Osteoarthritis and Cartilage 24 (Supplement 1). Elsevier. ISSN 1063-4584

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 (extended version). Technical Report TR-CTIT-16-03, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Greff, K. and van Damme, R.M.J. and Koutnik, J. and Broersma, H.J. and Mikhal, J. and Lawrence, C.P. and van der Wiel, W.G. and Schmidhuber, J. (2016) Unconventional computing using evolution-in-nanomaterio: neural networks meet nanoparticle networks. In: The Eighth International Conference on Future Computational Technologies and Applications, FUTURE COMPUTING 2016, 20-24 March 2016, Rome, Italy. pp. 15-20. IARIA International Academy, Research and Industry Association. ISBN 978-1-61208-461-9

More publications.