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 2ACancelled: Lunch colloqium: Waheed Ahmad: Title to be announced; Reason: Speaker unable to attend
Today, 12:30, HB 2ALunch colloqium: Marcus Gerhold: Testing Provably Secure Encryption
Tomorrow, 10:00, Radboud University Nijmegen, The Netherlands Workshop on Realistic Program Verification
Next Tuesday, 12:30, HB 2ALunch colloqium: Reserved pending confirmation: Title to be announced

More events; more lunch colloquia.

Press Releases and Media Coverage

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]

Oct 08, 2015

Article mentioning Mariëlle Stoelinga in Algemeen Dagblad because because the Code Week is about to start: Hartstochtelijk pleidooi voor programmeren op school. [in Dutch]

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

Ahmad, W. and Holzenspies, 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. In: 18th Euromicro Conference on Digital Systems Design , 26-28 Aug 2015, Madeira, Portugal. pp. 271-275. IEEE Computer Society. ISBN 978-1-4673-8035-5

Huisman, M. and Mostowski, W.I. (2015) A Symbolic Approach to Permission Accounting for Concurrent Reasoning. In: Proceedings of the 14th International Symposium on Parallel and Distributed Computing, ISPDC 2015, 29 Jun - 02 Jul 2015, Limassol, Cyprus. pp. 165-174. IEEE Computer Society. ISBN 978-1-4673-7148-3

Hartmanns, A. and Timmer, M. (2015) Sound statistical model checking for MDP using partial order and confluence reduction. International Journal on Software Tools for Technology Transfer, 17 (4). pp. 429-456. ISSN 1433-2779

Wevers, L. and Hofstra, M. and Tammens, M. and Huisman, M. and van Keulen, M. (2015) A Benchmark for Online Non-Blocking Schema Transformations. In: Proceedings of 4th International Conference on Data Management Technologies and Applications, DATA 2015, 20-22 Jul 2015, Colmar, France. pp. 288-298. SciTePress. ISBN 978-989-758-103-8

Wevers, L. and Hofstra, M. and Tammens, M. and Huisman, M. and van Keulen, M. (2015) Analysis of the blocking behaviour of schema transformations in relational database systems. In: Proceedings of the 19th East European Conference on Advances in Databases and Information Systems, ADBIS 2015, 8-11 Sep 2015, Poitiers, France. pp. 169-183. Lecture Notes in Computer Science 9282. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-23134-1

More publications.