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.
Upcoming Events (for recurrent events only next 7 days are shown)
|Jul 13, 10:00, Ra 1501||Dutch Model Checking Day 2016 on Parallel and Symbolic Methods for Model Checking|
|Jul 13, 16:30, Waaier 4||PhD Defense: Tom van Dijk: Sylvan: Multi-core Decision Diagrams|
Press Releases and Media Coverage
|May 06, 2016|
Article by Mariëlle Stoelinga, Vincent Bloemen, Nour Assay, Mozhan Soltani, Gamze Tillem in Bits & Chips because Start of 3TU project Big Software on the run: Joining scientific forces on big software. [in English]
|Dec 10, 2015|
|Oct 20, 2015|
Article mentioning Mariëlle Stoelinga, Joost-Pieter Katoen in Tubantia because he won the German GI award for the best MSc thesis in computer science: Beste informaticascriptie van Duitsland heeft Twents tintje. [in English]
|Apr 06, 2016|
Marielle Stoelinga and Marcus Gerhold win best paper award at ETAPS 2016
During the Euopean Joint Conferences on Theory and Practice and Software 2016 (ETAPS'16) in Eindhoven Mariëlle Stoelinga and Marcus Gerhold win the EASST best paper for their paper titled 'Model-Based Testing of Probabilistic Systems'.
Their work describes the testing process of systems that make use of probability and how to check whether or not they were implemented correctly.
|Apr 06, 2016|
Results announced for the VerifyThis 2016 Program Verification Competition, co-organised by Marieke Huisman
VerifyThis 2016 is a program verification competition taking place as part of the European Joint Conferences on Theory and Practice of Software (ETAPS 2016) on April 2-3, 2016 in Eindhoven, the Netherlands. It is the 5th event in the VerifyThis competition series.
More information: http://etaps2016.verifythis.org/home
|Apr 05, 2016|
Arnd Hartmanns wins GI/ITG MMB Dissertation Award
The GI/ITG Technical Committee of "Measurement, Modelling and Evaluation of Computing Systems" has awarded to Arnd Hartmanns the MMB Dissertation Award 2016 at the biennial MMB & DFT conference in Münster on April 5, 2016.
Arnd Hartmanns completed his Ph.D. with a thesis titled "On the Analysis of Stochastic Timed Systems" at Saarland University, Germany, supervised by Prof. Holger Hermanns. He joined the Formal Methods and Tools Group at the University of Twente as a postdoc in October 2015.
(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)