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, 12:30, HB 2ALunch colloqium: Stijn de Gouw: Showing that Android's, Java's and Python's sorting algorithm is broken, and fixing it formally
Next Tuesday, 12:30, HB 2ALunch colloqium: Roland Balk: SQLento: a new database programming language

More events; more lunch colloquia.

Press Releases and Media Coverage

Sep 14, 2015

Movie showing work by CreaTe students of Mariëlle Stoelinga in website Tubantia because Her students exhibit at GOGBOT: Video Impression Multimedia Art Festival GOGBOT. [in English]

Aug 22, 2015

Article by Mariëlle Stoelinga in Tubantia: Programmeren begint op de basisschool. [in Dutch]

Jun 16, 2015

Occurrence of Mariëlle Stoelinga: Dream it, Make it, share it: impression of lectures on Art & High Tech in Rijksmuseum Twente. [in Dutch]

More press releases and media coverage.

Latest News

Sep 24, 2015

Sebastian Junges wins Best Master Thesis Prize in Germany

His work, entitled Simplifying Fault Trees by Graph Rewriting, has been selected by the Fakultätentag Informatik. Sebastian will be awarded the price during the 45th Annual Meeting of the German Informatics Society (Gesellschaft für Informatik e.V. – GI).

His thesis has been supervised by Joost-Pieter Katoen and Marielle Stoelinga. He wrote his work during an exchange visit at the FMT group, collaborating with Dennis Guck, Arend Rensink and Marielle Stoelinga.

Jun 26, 2015

Sebastian Junges writes best Computer Science MSc thesis of RWTH Aachen University

Sebastian Junges, a student from RWTH Aachen University who wrote his MSc thesis at the Formal Methods & Tools group, wins a prizes for being the best MSc student in Computer Science at RWTH Aachen. His Grade Point Average is 1.1.

Moreover, his MSc thesis has been elected as the best MSc thesis in Computer Science.As such, RWTH Aachen has nominated his thesis for the Fakultätentag Informatik (FTI) Preis 2015, a nation-wide award in Computer Science.

Junges' thesis concerns Fault Tree Analysis, a wide spread technique in system reliability engineering, deployed by NASA, Airbus, Boeing, ESA, Toyota etc. Junges presents a technique to reduce the computation of Fault Trees, by graph transfromation techniques. In this way, fault trees can be analyzed that were too complex before. 

The thesis has been supervised by Joost-Pieter Katoen, and Marielle Stoelinga, in collaboration with Arend Rensink.


Further information.
Apr 29, 2015

More news.

Latest Publications

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

Arnold, F. and Guck, D. and Kumar, R. and Stoelinga, M.I.A. (2015) Sequential and Parallel Attack Tree Modelling. In: Computer Safety, Reliability, and Security - Proceedings of the SAFECOM 2015 Workshops, ASSURE, DECSoS. ISSE, ReSA4CI, and SASSUR, 22 September 2015, Delft, The Netherlands. pp. 291-299. Lecture Notes in Computer Science 9338. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-24248-4

Kant, G. and Laarman, A.W. and Meijer, J.J.G. and van de Pol, J.C. and Blom, S.C.C. and van Dijk, T. (2015) LTSmin: High-Performance Language-Independent Model Checking. In: Tools and Algorithms for the Construction and Analysis of Systems. Lecture Notes in Computer Science 9035. Springer Verlag, London, pp. 692-707. ISSN 0302-9743 ISBN 978-3-662-46680-3

Kumar, R. and Ruijters, E.J.J. and Stoelinga, M.I.A. (2015) Quantitative Attack Tree Analysis via Priced Timed Automata. In: Proceedings of the 13th International Conference on Formal Modeling and Analysis of Timed Systems (FORMATS 2015), 2-4 Sept 2015, Madrid, Spain. pp. 156-171. Lecture Notes in Computer Science 9268 . Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-22974-4

Blom, S.C.C. and Darabi, S. and Huisman, M. (2015) Verification of loop parallelisations. In: Proceedings of the 18th International Conference on Fundamental Approaches to Software Engineering (FASE 2015), 11-18 Apr 2015, London, UK. pp. 202-217. Lecture Notes in Computer Science 9033. Springer Berlin Heidelberg. ISSN 0302-9743 ISBN 978-3-662-46674-2

Kandziora, J. and Huisman, M. and Bockisch, C.M. and Zaharieva-Stojanovski, M. (2015) Run-time Assertion Checking of JML Annotations in Multithreaded Applications with e-OpenJML. In: Proceedings of the 17th Workshop on Formal Techniques for Java-like Programs (FTfJP 2015), 7 July 2015, Prague, Czech Republic. 8. ACM. ISBN 978-1-4503-3656-7

More publications.