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. Formal methods are mathematical techniques for the construction and analysis of software systems. Our central goal is to increase the reliability of the software that we rely on, as individuals and as society. We primarily target complex concurrent ICT systems, embedded in a technological context or in a distributed environment.

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.

Press Releases and Media Coverage

Jan 21, 2017

Interview with Mariëlle Stoelinga in BNR radio: item over Internet of Things security in De Ochtendspits. [in Dutch]

Jan 20, 2017

Article mentioning Mariëlle Stoelinga: Onderzoekers in Twente proberen het IoT te beveiligen tegen een legioen hackers. [in English]

Jan 19, 2017

Press Release Stefano Schivo, Mariëlle Stoelinga because start van EU project SUCCESS: Betere beveiliging Internet of Things. [in Dutch]

More press releases and media coverage.

Latest News

Nov 11, 2016

Vincent Bloemen wins Best Presentation Award at the FM 2016 Doctoral Symposium

During the Doctoral Symposium of the 21st International Symposium on Formal Methods (FM 2016) in Cyprus, Vincent Bloemen won the Best Presentation Award for his paper titled 'Parallel Model Checking of ω-Automata'.

He presented ideas on how he attempts to improve the model checking procedure by investigating different types of ω-automata such as Büchi, Rabin and Parity, and developing efficient parallel algorithms for checking such automata.

Further information.
Nov 02, 2016

Thomas Neele wins Ngi-NGN thesis prize

Thomas Neele receives the Ngi-NGN Informatics Thesis Prize (2nd prize, for Computer Science and Information Science). This prize has been awarded by the KHMW, the "Koninklijke Hollandsche Maatschappij der Wetenschappen". The prize of € 1000 will be awarded in Haarlem on November 28, 2016.

Thomas Neele graduated from Computer Science at the U Twente on a MSc Thesis "GPU implementation of partial-order reduction". He carried out is research at the Technical University of Eindhoven, under supervision of Anton Wijs (TU/e), Stefan Blom (UT) and Jaco van de Pol (UT). His research led already to two papers in major peer-reviewed conferences: ATVA'16 (Japan) and FM'16 (Cyprus).

Further information.
Sep 07, 2016

Vincent Bloemen wins Best MSc Thesis Award

During the opening of the academic year, Vincent received the award for the best master's thesis written at the faculty of Mathematics, Computer Science and Mathematics.

Congratulations, Vincent!


More news.

Latest Publications

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

Hartmanns, A. and Hermanns, H. and Bungert, M. (2016) Flexible support for time and costs in scenario-aware dataflow. In: Proceedings of the 13th International Conference on Embedded Software (EMSOFT 2016), 01-07 Oct 2016, Pittsburgh, Pennsylvania, USA. 3. ACM. ISBN 978-1-4503-4485-2

Hahn, E. M. and Hartmanns, A. (2016) A Comparison of Time- and Reward-Bounded Probabilistic Model Checking Techniques. In: Proceedings of the Second International Symposium on Dependable Software Engineering: Theories, Tools, and Applications (SETTA 2016), 09-11 Nov 2016, Beijing, China. pp. 85-100. Lecture Notes in Computer Science 9984. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47676-6

Greff, K. and van Damme, R.M.J. and Koutnik, J. and Broersma, H.J. and Mikhal, J. and Lawrence, C.P. and van der Wiel, W.G. and Schmidhuber, J. (2017) Using neural networks to predict the functionality of reconfigurable nano-material networks. International journal on advances in intelligent systems, 9 (3&4). pp. 339-351. ISSN 1942-2679

Bloemen, V. (2016) Parallel Model Checking of ω-Automata. In: Proceedings of the Formal Methods 2016 Doctoral Symposium co-located with 21st International Symposium on Formal Methods (FM 2016), 8 Nov 2016, Limassol, Cyprus. 1. CEUR Workshop Proceedings. ISSN 1613-0073

Bloemen, V. and van de Pol, J.C. (2016) Multi-core SCC-Based LTL Model Checking. In: Hardware and Software: Verification and Testing; Proceedings of the 12th International Haifa Verification Conference, HVC 2016, 14-17 Nov 2016, Haifa, Israel. pp. 18-33. Lecture Notes in Computer Science 10028. Springer International Publishing. ISSN 0302-9743 ISBN 978-3-319-49051-9

More publications.