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.
Press Releases and Media Coverage
|Jul 21, 2016|
|Jul 20, 2016|
|Jul 14, 2016|
|Jul 15, 2016|
Alfons Laarman receives VENI grant
Alfons Laarman received a VENI grant from NWO for his research on parallel algorithms for depth-first graph traversal. His project belongs to 15% selected projects, and it is one out of 12 awarded projects in 'Physical Sciences'. From the NWO site:
Parallelism in depth
|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
(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)