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)

Tuesday, 12:30, Zi 5126Cancelled: Lunch colloqium , because: DSN Lunchmeeting
Tuesday, 12:30, tbaDSN lunch meeting: Hans Zwart (SBB, mathematics): UV technology modeling & control using Hybrid Systems

More events.

Press Releases and Media Coverage

Dec 27, 2011

Article Mariëlle Stoelinga in : Model- en risicogebaseerd testen voeren boventoon op Nederlandse Testdag. [in Dutch]

Nov 24, 2011

Press Release Mariëlle Stoelinga, Axel Belinfante, Mark Timmer: Persbericht Nederlandse Testdag. [in English]

Oct 15, 2011

Article mentioning Rom Langerak in Volkskrant: Game over voor computernerd. [in Dutch]

More press releases and media coverage.

Latest News

Jan 06, 2012

Highlights of Dutch Testing Day discussed in Bits & Chips

The professional magazine Bits & Chips published an article by Marielle Stoelinga discussing the highlights of the Dutch Testing Day: breakthroughs in model-based testing and risk-based testing were prominent trends at the Dutch Testing Day. 

Dec 23, 2011

Three of the four nominees for the Inter-Actief onderwijsprijs are from FMT!

The FMT nominees are Rom Langerak, Jaco van de Pol, and Arend Rensink.

Dec 01, 2011

Dutch Testing Day was a great success

The Dutch Testing Day, hosted on November 29 by the Formal Methods & Tools group has been a great success. Around 150 visitors participated, and attended a rich program of interesting presentations, and discussed how industry and academia can strengthen each other and collaborate to continue the competitive edge of Dutch ICT. 

More news.

Latest Publications

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

Bonsma, P.S. and Broersma, H.J. and Patel, V. and Pyatkin, A. (2011) The complexity status of problems related to sparsest cuts. In: Proceedings of the 21st International Workshop, IWOCA 2010, Revised Selected Papers, 26-28 July 2010, London, UK. pp. 125-135. Lecture Notes in Computer Science 6460. Springer Verlag. ISSN 0302-9743 ISBN 978-3-642-19221-0

de Mol, M.J. and Rensink, A. and Hunt, J.J. (2012) Graph Transforming Java Data. In: Proceedings of the 15th International Conference on Fundamental Approaches to Software Engineering (FASE 2012), 26-29 Mar 2012, Talinn, Estonia. Lecture Notes in Computer Science. Springer Verlag.

Li, MingChu and Chen, Xiaodong and Broersma, H.J. (2011) Hamiltonian connectedness in 4-connected hourglass-free claw-free graphs. Journal of graph theory, 68 (4). pp. 285-298. ISSN 0364-9024 *** ISI Impact 0,662 ***

Broersma, H.J. and Ryjáček, Z. and Vrána, P. (2012) How many conjectures can you stand: a survey. Graphs and combinatorics, 28 (1). pp. 57-75. ISSN 0911-0119 *** ISI Impact 0,571 ***

de Mol, M.J. and Rensink, A. (2011) Formal Semantics of the CHART Transformation Language. Technical Report TR-CTIT-12-03, Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 1381-3625

More publications.