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)

Tomorrow, 12:30, Carre 2GLunch colloqium: Dennis Guck: Title to be announced
Nov 04, 14:00, Ravelijn 2336MSc Presentation: Ruud Wiegers: A Behavior Description Language for Ontologically Grounded Conceptual Models
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
Dec 03, 9:00, Amsterdam, CWISymposium National symposium on software engineering (SEN)

More events; more lunch colloquia.

Press Releases and Media Coverage

Oct 01, 2014

Article mentioning Marieke Huisman, Mariëlle Stoelinga in I/O magazine van Informatica Platform Nederland because special issue on the achievements in IT research by women: ICT-onderzoek. [in Dutch]

Sep 22, 2014

Press Release about the workshop Automated Verification of Critical Systems because it is held in Enschede from September 24 - 26, 2014: Workshop on Verification of Critical Software Systems. [in English]

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]

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

Delzanno, G. and Rensink, A. and Traverso, R. (2014) Graph- versus Vector-Based Analysis of a Consensus Protocol. In: Proceedings of the 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), 5 April 2014, Grenoble, France. pp. 44-57. Electronic Proceedings in Theoretical Computer Science 159. EPTCS. ISSN 2075-2180

Zambon, Eduardo and Rensink, A. (2014) Solving the N-Queens Problem with GROOVE - Towards a Compendium of Best Practices. In: Proceedings of the 13th International Workshop on Graph Transformation and Visual Modeling Techniques (GTVMT 2014), 5-6 April 2014, Grenoble, France. Electronic Communications of the EASST 67. European Association of Software Science and Technology. ISSN 1863-2122

Kant, G. and van de Pol, J.C. (2014) Generating and Solving Symbolic Parity Games. In: Proceedings 3rd Workshop on GRAPH Inspection and Traversal Engineering (GRAPHITE 2014), 05 Apr 2014, Grenoble, France. pp. 2-14. Electronic Proceedings in Theoretical Computer Science 159. EPTCS. ISSN 2075-2180

Kordy, P.T. and Langerak, R. and Mauw, S. and Polderman, J.W. (2014) A Symbolic Algorithm for the Analysis of Robust Timed Automata. In: FM 2014: Formal Methods, 12-16 May 2014, Singapore. pp. 351-366. Lecture Notes in Computer Science 8442. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-06409-3

Zaharieva-Stojanovski, M. and Huisman, M. and Blom, S.C.C. (2014) Verifying Functional Behaviour of Concurrent Programs. In: FTfJP'14: Proceedings of 16th Workshop on Formal Techniques for Java-like Programs, 28 Jul 2014, Uppsala, Sweden. 4:1-4:6. ACM. ISBN 978-1-4503-2866-1

More publications.