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.

Upcoming Events (for recurrent events only next 7 days are shown)

Tomorrow, 11:30, Hal B 2BPresentation: Mozhan Soltani: A guided Genetic Algorithm for Automated Crash Reproduction
Tuesday, 12:30, Hal B 2BLunch colloqium: Ansgar Fehnker: Better than B.A.T.M.A.N.

More events; more lunch colloquia.

Press Releases and Media Coverage

Mar 28, 2017

Article mentioning Dennis Guck, Mariëlle Stoelinga, Joost-Pieter Katoen in UT nieuws because PhD defense of Dennis Guck: Minder storingen en lagere kosten door slimmer onderhoudsmodel. [in Dutch]

Mar 28, 2017

Article mentioning Dennis Guck, Mariëlle Stoelinga in iMaintain because PhD defense of Dennis Guck: Minder storingen en lagere kosten door slimmer onderhoudsmodel. [in Dutch]

Jan 21, 2017

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

More press releases and media coverage.

Latest News

Feb 20, 2017

'Vici'-beurs voor Marieke Huisman

Marieke Huisman (CTIT) is hoogleraar Software Reliability. Zij ontwikkelt nieuwe technieken om steeds complexer wordende software betrouwbaar te maken en te houden.

Dankzij de Vici-subsidie van 1,5 miljoen Euro kan prof.dr. Marieke Huisman vijf jaar onderzoek doen naar betrouwbare software. Het maken van betrouwbare software blijft een grote uitdaging. Wanneer je programmeert, schrijf je eigenlijk instructies die te begrijpen zijn voor een computer. In het verleden werden deze instructies één voor één uitgevoerd. Tegenwoordig is het niet ongebruikelijk dat een computer meerdere series instructies gelijktijdig uitvoert. Dit vergroot de complexiteit van het proces en daarmee de kans op fouten of problemen. Huisman ontwikkelt nieuwe technieken waarmee zulke complexe stukken programmeerwerk gecontroleerd worden op instructies die fouten of conflicten gaan veroorzaken nog vóórdat je de instructies daadwerkelijk probeert uit te voeren in je productieomgeving. Op deze manier weet je of de programmeercode foutloos werkt, voordat je deze op de eindbestemming inzet.

De Vici subsidie is toegekend door de Nederlandse Organisatie voor Wetenschappelijk Onderzoek NWO.

Further information.
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.

More news.

Latest Publications

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

Junges, S. and Guck, D. and Katoen, J.P. and Rensink, A. and Stoelinga, M.I.A. (2017) Fault trees on a diet: automated reduction by graph rewriting. Formal Aspects of Computing, online pre-publication. ISSN 0934-5043 *** ISI Impact 0,521 ***

Huisman, M. and Bos, H. and Brinkkemper, S. and van Deursen, A. and Groote, J.F. and Lago, P. and van de Pol, J.C. and Visser, E. (2016) Software that meets its Intent. In: Leveraging Applications of Formal Methods, Verification and Validation: Discussion, Dissemination, Applications. ISoLA 2016, 10-14 Oct 2016, Corfu, Greece. pp. 609-625. Lecture Notes in Computer Science 9953. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-47168-6

Abraham, E. and Huisman, M., ed. (2016) Integrated Formal Methods: 12th International Conference, IFM 2016, Reykjavik, Iceland, June 1-5, 2016, Proceedings. Lecture Notes in Computer Science 9681. Springer Verlag, London. ISSN 0302-9743 ISBN 978-3-319-33692-3

Oortwijn, W.H.M. and Blom, S.C.C. and Huisman, M. (2016) Future-based Static Analysis of Message Passing Programs. In: Proceedings of the Ninth Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, PLACES 2016, 8 April 2016, Eindhoven, The Netherlands. pp. 65-72. Electronic Notes in Theoretical Computer Science 211. Open Publishing Association. ISSN 2075-2180

Amighi, A. and Gomes, P. and Gurov, D. and Huisman, M. (2016) Provably correct control flow graphs from Java bytecode programs with exceptions. International journal on software tools for technology transfer, 18 (6). pp. 653-684. ISSN 1433-2779

More publications.