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)

Next Wednesday, 12:30, HB 2FLunch colloqium: Joost-Pieter Katoen: Probabilistic Programming: Fun, but Intricate

More events; more lunch colloquia.

Press Releases and Media Coverage

Dec 10, 2015

Article mentioning Marieke Huisman: Hour of Code: Hoe leer je programmeren?. [in Dutch]

Oct 09, 2015

Article mentioning our Nature Nano paper in Gizmag: "Designless" brain-like chips created through artificial evolution. [in English]

Oct 08, 2015

Article mentioning news and views on the achievements of our publication in Nature Nanotechnology: Computing: Naturally random. [in English]

More press releases and media coverage.

Latest News

Nov 24, 2015

Koen Degeling wins student presentation award on joint work with Stefano Schivo

Koen Degeling (student in BMS) wins the "Best Student Podium Presentation Award" for his presentation at ISPOR (9 november 2015, Milan, Italy), the 18th Annual European Congress of the International Society for Pharmacoeconomics and Outcomes Research. The presentation was based on joint work, leading to the abstract "Comparison of Timed Automata with Discrete Event Simulation for modeling personalized treatment decisions: The case of metastatic castration resistant prostate cancer", Koen Degeling, Hendrik Koffijberg, Stefano Schivo, Rom Langerak, and Maarten J. IJzerman.

Nov 02, 2015

Marieke Huisman together with Anton Wijs (TUE), Alexandru Iosup (TUD) and Ana Lucia Varbanescu (VU/TUD) received 3TU.NIRICT funding for reconnaissance topic on performance and correctness of GPGPU

NIRICT reconnaissance topic is aiming to enhance collaboration of the three universities of technology in NIRICT research themes, with a focus highly based on national and international ICT programs, such as the ICT Roadmap for the Topsectors and Horizon2020. 

The kick-off meeting for this reconnaissance topic will be held on December 3, 2015 in Utrecht.

Oct 13, 2015

Marieke Huisman nominated for VIVA 400-award

Marieke Huisman has been nominated for the yearly VIVA 400-award in the category 'Knappe Koppen' (clever people), because she received the Prof. de Winterprize, and a NWO TOP grant. For the full list, see, where you also can vote (until November 4, 2015).

More news.

Latest Publications

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

Ruijters, E.J.J. and Guck, D. and Drolenga, P. and Stoelinga, M.I.A. (2016) Fault maintenance trees: reliability centered maintenance via statistical model checking. In: Proceedings of the IEEE 62nd Annual Reliability and Maintainability Symposium, RAMS 2016, 25-28 Jan 2016, Tucson, Arizona. IEEE.

Mostowski, W.I. (2016) Dynamic Frames Based Verification Method for Concurrent Java Programs. In: Proceedings of the 7th Working Conference on Verified Software: Theories, Tools, and Experiments, VSTTE 2015. Revised Selected Papers, 18-19 Jul 2015, San Francisco, U.S.A.. Lecture Notes in Computer Science 9593. Springer International Publishing Switzerland. ISSN 0302-9743 ISBN 978-3-319-29612-8

Katoen, J.P. (2015) Probabilistic Programming: A True Verification Challenge. (Invited) In: Proceedings of the 13th International Symposium on Automated Technology for Verification and Analysis, ATVA 2015, 12-15 Oct 2015, Shanghai, China. pp. 1-3. Lecture Notes in Computer Science (9364). Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-24953-7

Zhang, Yanbo and Broersma, H.J. and Chen, Yaojun (2015) Three results on cycle-wheel Ramsey numbers. Graphs and combinatorics, 31 (6). pp. 2467-2479. ISSN 0911-0119 *** ISI Impact 0,35 ***

Bose, S.K. and Lawrence, C.P. and Liu, Zhihua and Makarenko, K.S. and van Damme, R.M.J. and Broersma, H.J. and van der Wiel, W.G. (2015) Evolution of a designless nanoparticle network into reconfigurable Boolean logic. Nature nanotechnology, 10 (12). pp. 1048-1052. ISSN 1748-3387 *** ISI Impact 31,17 ***

More publications.