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 5126Lunch colloqium: Vincent de Bruijn: Title to be announced
Next Wednesday, 14:30Reading group meeting: Marina Zaharieva-Stojanovski: Fractional Permissions without the Fractions

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

May 04, 2012

STW / ProRail funds FMT research on Smart Railroad Maintenance

STW / ProRail have granted the research proposal by Marielle Stoelinga on Smart Railroad Maintenance.

Key idea is to boost the modeling and analytical techniques for fault trees. Fault trees are a dominant model for risk management of infrastructures and other assets, but cannot yet cope with a pressing aspect, namely maintenance. 

In previous projects, we have fruitfully deployed model checking techniques for fault tree analysis, and we expect similar advantages in the domain of maintenance.

Feb 03, 2012

Marijn Jongerden received MMB 2012 Dissertation Award

The German GI-Group MMB (Messung, Modellierung und Bewertung) has granted the Dissertation Award 2012 to Marijn Jongerden for his dissertation on Model-based analysis of battery powered systems.  Marijn was supervised by Boudewijn Haverkort (DACS) and Joost-Pieter Katoen (FMT).  

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. 

More news.

Latest Publications

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

Stoelinga, M.I.A. and Timmer, M., ed. (2012) Proceedings of the 17th Dutch Testing Day: Testing Evolvability. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente, Enschede. ISSN 0929-0672

Stoelinga, M.I.A. and Timmer, M. (2012) Preface. In: Proceedings of the 17th Dutch Testing Day: Testing Evolvability, 29 Nov 2011, Enschede, The Netherlands. pp. 3-3. CTIT Workshop Proceedings Series (WP12-01). Centre for Telematics and Information Technology, University of Twente. ISSN 0929-0672

Stokkink, W.G.J. and Timmer, M. and Stoelinga, M.I.A. (2012) Talking quiescence: a rigorous theory that supports parallel composition, action hiding and determinisation. In: Proceedings of the 7th Workshop on Model-Based Testing (MBT 2012), 25 Mar 2012, Tallinn, Estonia. pp. 73-87. Electronic Proceedings in Theoretical Computer Science 80. Open Publishing Association. ISSN 2075-2180

Timmer, M. and Jeurnink, G.A.M. and Verhoef, N.C. (2012) Analytische meetkunde door een synthetische bril. In: Conferentiegids van de 18e Nationale Wiskunde Dagen, 3-4 Feb 2012, Noordwijkerhout. pp. 44-44. Freudenthal Instituut. ISBN not assigned

Rensink, A. and Zambon, Eduardo (2011) Solving the TTC 2011 Compiler Optimization Case with GROOVE. In: Proceedings of the Fifth Transformation Tool Contest (TTC 2011), 29-30 June 2011, Zurich, Switzerland. pp. 126-130. Electronic Proceedings in Theoretical Computer Science (EPTCS) 74. Open Publishing Association. ISBN not assigned

More publications.