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.

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

Jan 23, 9:00, Eindhoven University of Technology, EindhovenArend Rensink: in the IPA course on Software Engineering and Technology
Mar 13, 16:30, Waaier 4PhD Defense: Yanbo Zhang: Generalized Ramsey Numbers for Graphs

More events; more lunch colloquia.

Press Releases and Media Coverage

Dec 04, 2014

Press Release Marieke Huisman: TWEE UT ONDERZOEKSPROJECTEN GEHONOREERD DOOR NWO. [in Dutch]

Nov 28, 2014

Article mentioning Marieke Huisman in UT nieuws: De Winter-prijs gaat naar twee vrouwen. [in Dutch]

Nov 28, 2014

Article mentioning Mark Timmer in UT nieuws: Overijssel PhD-Award voor Mark Timmer. [in Dutch]

More press releases and media coverage.

Latest News

Dec 01, 2014

Marieke Huisman Received NWO Top-grant for Verification of Distributed Software

NWO Exacte Wetenschappen kent aan 16 wetenschappers in de astronomie, informatica en wiskunde of een combinatie van deze disciplines (multidisciplinair) een TOP-subsidie toe. Zeven wetenschappers zijn senior onderzoekers met een bewezen track record, de overige negen zijn junior onderzoekers die aan het begin van hun wetenschappelijke carrière staan. In totaal ontvangen de wetenschappers 6 miljoen euro. 

 

Further information: 

http://www.nwo.nl/actueel/nieuws/2014/ew/6-miljoen-euro-voor-toponderzoek-in-exacte-wetenschappen.html

 

Nov 28, 2014

Marieke Huisman Received Professor De Winter Prize

Tijdens de viering van de Dies Natalis van de Universiteit Twente werd vandaag de Professor De Winterprijs uitgereikt aan dr. ir. Séverine Le Gac en prof. dr. Marieke Huisman. Het is de eerste keer in de geschiedenis  van deze publicatieprijs voor vrouwelijk toptalent dat de prijs naar twee onderzoeksters gaat. Le Gac is verbonden aan de UT-onderzoeksinstituten MESA en MIRA; Huismans onderzoek valt onder het CTIT. 

 

 

Further information:

http://www.utwente.nl/nieuwsevents/!/2014/11/350976/professor-de-winterprijs-voor-severine-le-gac-en-marieke-huisman

http://www.utwente.nl/fotomap/dies2014/

http://www.utnieuws.nl/nieuws/60813/De_Winterprijs_gaat_naar_twee_vrouwen

 

 

Nov 28, 2014

OVERIJSSEL PHD-AWARD VOOR MARK TIMMER

Tijdens de viering van de Dies Natalis van de Universiteit Twente werd vandaag de Overijssel PhD-Award, voor het beste proefschrift van het afgelopen jaar, uitgereikt aan dr. Mark Timmer van onderzoeksinstituut CTIT.

 

Further information

http://www.utwente.nl/nieuwsevents/!/2014/11/350971/overijssel-phd-award-voor-mark-timmer


More news.

Latest Publications

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

Poskitt, C. and Dodds, M. and Paige, R.F. and Rensink, A. (2014) Towards Rigorously Faking Bidirectional Model Transformations. In: Proceedings of the Workshop on Analysis of Model Transformations, AMT 2014, 29 Sep 2014, Valencia, Spain. pp. 70-75. CEUR-WS 1277. RWTH Aachen, Germany. ISSN 1613-0073

Ahrendt, W. and Beckert, B. and Bruns, D. and Bubel, R. and Gladisch, C. and Grebing, S. and Hähnle, R. and Hentschel, M. and Herda, M. and Klebanov, V. and Mostowski, W.I. and Scheben, C. and Schmitt, P.H. and Ulbrich, M. (2014) The KeY Platform for Verification and Analysis of Java Programs. In: Proceedings of the 6th International Conference on Verified Software: Theories, Tools and Experiments, VSTTE 2014, Revised Selected Papers, 17-18 July 2014, Vienna, Austria. pp. 55-71. Lecture Notes In Computer Science 8471. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-12153-6

Bruns, D. and Mostowski, W.I. and Ulbrich, M. (2013) Implementation-level verification of algorithms with KeY. International journal on software tools for technology transfer, online pre-publication. ISSN 1433-2779

van de Pol, J.C. and Ruys, T.C. and te Brinke, S. (2014) Thoughtful Brute Force Attack of the RERS 2012 and 2013 Challenges. International journal on software tools for technology transfer, 16 (5). pp. 481-491. ISSN 1433-2779

Meijer, J.J.G. and Kant, G. and Blom, S.C.C. and van de Pol, J.C. (2014) Read, Write and Copy Dependencies for Symbolic Model Checking. In: Proceedings of the 10th International Haifa Verification Conference, HVC 2014, 18-20 Nov 2014, Haifa, Israel. pp. 204-219. Lecture Notes in Computer Science 8855. Springer Verlag. ISSN 0302-9743 ISBN 978-3-319-13337-9

More publications.