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.

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

Tuesday, 12:30, Carre 3244Lunch colloqium: Enno Ruijters: The state of the art in Fault Tree modeling and analysis
Wednesday, 12:30, Zi 2126Presentation Printing Thesis Workshop
Sep 24-26Symposium Automated Verification of Critical Systems
Sep 30, 9:00, Hal B 2BMSc Presentation: Hristofor Mirchev: Creating a modular AspectJ foundation for simple and rapid extension implementation
Oct 07, 12:30, FMT Group Group Photo
Oct 13-17, Lorentz Center ICT with Industry 2014
Nov 05, 9:00, OisterwijkSymposium IPA Fall Days
Nov 06-07, De Vereeniging, Nijmegen The 26th Benelux Conference on Artificial Intelligence
Nov 17, 9:00, De Eenhoorn, Amersfoort Dutch Testing Day 2014

More events; more lunch colloquia.

Press Releases and Media Coverage

Sep 12, 2014

Article about a course organized by Mariëlle Stoelinga in UT website because because her Creative Technology students exhibit at the GOGBOT festival: Installations made by UT students at Gogbot festival. [in English]

Jul 03, 2014

Article mentioning Mariëlle Stoelinga in UT nieuws because Exhibition of Have Fun & Play!: Spaceship Earth Exhibition. [in English]

May 28, 2014

Article about a guest lecture organized by Mariëlle Stoelinga in UT nieuws: Life on a starship by Angelo Vermeulen. [in English]

More press releases and media coverage.

Latest News

Jun 12, 2014

Steven te Brinke wins second prize in CTIT poster competition

During the CTIT Symposium of Tuesday 3 June, Steven te Brinke won the second prize in the PhD poster competition with his poster "Interpreting Energy Profiles with CEGAR".

Further information.
Apr 14, 2014

Steven te Brinke wins Student Research Competition at SAC '14

The Symposium on Applied Computing (SAC) 2014 was held from March 24 to 28 in Gyeongju, Korea. SAC 2014 hosted a Student Research Competition that provides graduate students the opportunity to receive feedback on their research ideas from the scientific community. For this competition, students are selected based on submitted abstracts and then graded first on their poster and then on their presentation. Steven te Brinke from the FMT group of the University of Twente won the gold medal of this competition with his presentation titled "Interpreting Energy Profiles with CEGAR".

Further information.
Apr 02, 2014

Mark Timmer wins IPA dissertation prize

Dr. ir. Mark Timmer is the winner of the IPA Dissertation Award for the best IPA dissertation of 2013. Mark's thesis on 'Efficient Modelling, Generation and Analysis of Markov Automata' was selected as the best among the nominated theses. 

The committee considered this work of outstanding scientific quality. The results have had significant impact on the research field, as witnessed by the numerous citations to the publications included in the thesis. Moreover Dr. Timmer is a bright scholar, who was not only awarded with a  cum laude for the thesis, but also won an education award, and is successful in disseminating research results in forums other than scientific peer-reviewed journals. Finally the committee highly appreciated the tooling developed in addition to the theoretical contribution, as well as the experimental evidence provided to support the claims within the thesis.

Mark carried out his research at the University of Twente under the joint supervision of Jaco van de Pol, Joost-Pieter Katoen and Mariëlle Stoelinga.


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.)

Blom, S.C.C. and Darabi, S. and Huisman, M. (2014) Verifying parallel loops with separation logic. In: Proceedings of the 7th Workshop on Programming Language Approaches to Concurrency and Communication-cEntric Software (PLACES 2014), 12 April 2014, Grenoble, France. pp. 47-53. EPTCS 155 (arXiv:1406.3313). Cornell University. ISSN 2075-2180

Zaharieva-Stojanovski, M. and Huisman, M. (2014) Verifying class invariants in concurrent programs. In: Proceedings of the 17th International Conference on Fundamental Approaches to Software Engineering (FASE 2014), 5-13 April, 2014, Grenoble, France. pp. 230-245. Lecture Notes in Computer Science 8411. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-54803-1

Amighi, A. and Blom, S.C.C. and Darabi, S. and Huisman, M. and Mostowski, W.I. and Zaharieva-Stojanovski, M. (2014) Verification of concurrent systems with VerCors. In: Formal Methods for Executable Software Models - 14th International School on Formal Methods for the Design of Computer, Communication, and Software Systems. Lecture Notes in Computer Science 8483. Springer Verlag, Berlin, pp. 172-216. ISSN 0302-9743 ISBN 978-3-319-07316-3

Schivo, S. and Scholma, J. and Karperien, H.B.J. and Langerak, R. and van de Pol, J.C. and Post, J.N. (2014) ANIMO: a tool for modeling biological pathway dynamics. In: Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting, 10-13 June 2014, Genova, Italy. pp. 54-55. Wiley. ISSN 1932-7005

Scholma, J. and Schivo, S. and Kerkhofs, J. and Langerak, R. and Karperien, H.B.J. and van de Pol, J.C. and Geris, L. and Post, J.N. (2014) ECHO: the executable chondrocyte. In: Tissue Engineering & Regenerative Medicine International Society, European Chapter Meeting, 10-13 June 2014, Genova, Italy. pp. 54-54. Wiley. ISSN 1932-7005

More publications.