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)

Tuesday, 12:30, HB 2DCancelled: Lunch colloqium: Cancelled: Title to be announced; Reason: CTiT Symposium

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

Sep 07, 2016

Vincent Bloemen wins Best MSc Thesis Award

During the opening of the academic year, Vincent received the award for the best master's thesis written at the faculty of Mathematics, Computer Science and Mathematics.

Congratulations, Vincent!


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.

More news.

Latest Publications

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

Fraile, M. and Ford, M. and Gadyatskaya, O. and Kumar, Rajesh and Stoelinga, M.I.A. and Trujillo-Rasua, R. (2016) Using attack-defense trees to analyze threats and countermeasures in an ATM: A case study. In: 9th IFIP WG 8.1 Working Conference on The Practice of Enterprise Modeling (PoEM), 08-10 Nov 2016, Skövde, Sweden. Springer.

Schivo, S. and Scholma, J. and van der Vet, P.E. and Karperien, H.B.J. and Post, J.N. and van de Pol, J.C. and Langerak, R. (2016) Modelling with ANIMO: between fuzzy logic and differential equations. BMC Systems Biology, 10. 56. ISSN 1752-0509 *** ISI Impact 2,98 ***

Chen, Xiaodong and Li, MingChu and Liao, Wei and Broersma, H.J. (2016) Hamiltonian properties of almost locally connected claw-free graphs. Ars combinatoria, 124. pp. 95-109. ISSN 0381-7032 *** ISI Impact 0,28 ***

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

More publications.