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)

Oct 01, 12:30, Waaier 4PhD Defense: Marina Zaharieva-Stojanovski: Title to be announced

More events; more lunch colloquia.

Press Releases and Media Coverage

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]

May 18, 2015

Interview with Jaco van de Pol in Scientias: Wanneer gaat de bitcoin onze harde euro’s vervangen?. [in Dutch]

More press releases and media coverage.

Latest News

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.




Apr 29, 2015

Feb 27, 2015

Rom Langerak nominated for Education Prize 2015

Rom Langerak has been nominated for the Education Prize for Computer Science 2015. On March 3 he will give a mini-lecture, together with the other contestants Maurice van Keulen and Klaas Sikkel. March 9 the winner will be announced by Inter-Actief.

More news.

Latest Publications

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

te Brinke, S. (2015) Developing Energy-Aware Software. PhD thesis, Univ. of Twente. CTIT Ph.D. Thesis Series No. 15-359 ISBN 978-90-365-3875-6

Ruijters, E.J.J. and Stoelinga, M.I.A. (2015) Fault tree analysis: A survey of the state-of-the-art in modeling, analysis and tools. Computer Science Review, 15–16. pp. 29-62. ISSN 1574-0137

van de Pol, J.C. (2015) Automated Verification of Nested DFS. In: Proceedings of the 20th International Workshop on Formal Methods for Industrial Critical Systems (FMICS 2015), 22-23 Jun 2015, Oslo, Norway. pp. 181-197. Lecture Notes in Computer Science 9128. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-19457-8

Ahmad, W. and Hölzenspies, P.K.F. and Stoelinga, M.I.A. and van de Pol, J.C. (2015) Green computing: power optimisation of VFI-based real-time multiprocessor dataflow applications (extended version). Technical Report TR-CTIT-15-04, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

Gnesi, S. and Rensink, A. (2014) Fundamental Approaches to Software Engineering - Preface. In: 17th International Conference on Fundamental Approaches to Software Engineering, FASE 2014, 05-13 Apr 2014, Grenoble, France. VII-VII. Lecture Notes in Computer Science 8411. Springer Verlag. ISBN 978-3-642-54803-1

More publications.