Back to University of Twente portal
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 5126 | Lunch colloqium: Vincent de Bruijn: Title to be announced |
| Next Wednesday, 14:30 | Reading group meeting: Marina Zaharieva-Stojanovski: Fractional Permissions without the Fractions |
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. |
Latest Publications
(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)