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)
|Tomorrow, 12:30, Ravelijn 1501||Lunch colloqium: Pedro R. D'Argenio: Is your software on dope?: Formal analysis of surreptitiously “enhanced” programs|
Press Releases and Media Coverage
|Dec 22, 2017|
|Jul 21, 2016|
|Jul 20, 2016|
|Nov 11, 2016|
Vincent Bloemen wins Best Presentation Award at the FM 2016 Doctoral Symposium
During the Doctoral Symposium of the 21st International Symposium on Formal Methods (FM 2016) in Cyprus, Vincent Bloemen won the Best Presentation Award for his paper titled 'Parallel Model Checking of ω-Automata'.
He presented ideas on how he attempts to improve the model checking procedure by investigating different types of ω-automata such as Büchi, Rabin and Parity, and developing efficient parallel algorithms for checking such automata.Further information.
|Nov 02, 2016|
Thomas Neele wins Ngi-NGN thesis prize
Thomas Neele receives the Ngi-NGN Informatics Thesis Prize (2nd prize, for Computer Science and Information Science). This prize has been awarded by the KHMW, the "Koninklijke Hollandsche Maatschappij der Wetenschappen". The prize of € 1000 will be awarded in Haarlem on November 28, 2016.
Thomas Neele graduated from Computer Science at the U Twente on a MSc Thesis "GPU implementation of partial-order reduction". He carried out is research at the Technical University of Eindhoven, under supervision of Anton Wijs (TU/e), Stefan Blom (UT) and Jaco van de Pol (UT). His research led already to two papers in major peer-reviewed conferences: ATVA'16 (Japan) and FM'16 (Cyprus).Further information.
|Sep 07, 2016|
Vincent Bloemen wins Best MSc Thesis Award
During the opening of the academic year, Vincent received the award for the best master's thesis written at the faculty of Mathematics, Computer Science and Mathematics.
(note: 'latest' refers to the date of addition to the EPrints publication database, not to the date of publication.)