This event is organized in cooperation with Formal Techniques Industrial Association (ForTIA) and supported by SAP AG
For Formal Method to become mainstream in industrial practice requires both:
Formal method providers will report on their experience with industrial projects, how methods and tools needed to be changed and adapted when being confronted with industrial requirements, and what they see as major challenges for their method or tool to be applied routinely in industry.
Formal method users will present their motivation to use Formal Methods and a specific technique. They will describe how they integrate the new technology into their development environment, how costly this was and whether initial expectations were satisfied. They will sketch how from their point of view an even broader deployment of Formal Methods can be achieved - both in their own company and in their whole industrial sector.
10:30 - 11:15 Verifying the Microsoft Hyper-V Hypervisor with VCC Thomas Santen (Microsoft) and Dirk Leinenbach (DFKI)
11:15 - 12:00 Experiences in the Development and Application of Rodin/Event-B Laurent Voisin (Systerel) and Jérome Falampin (Siemens Transportation Systems)
12:00 - 13:30 Lunch
13:30 - 14:15 Synthesis of supervisory control systems at Océ Ronald Fabel (Océ) and Bert van Beek (Eindhoven University)
14:15 - 15:00 Model-based GUI testing using UPPAAL at Novo Nordisk Jacob Illum (Aalborg University) and Ulrik Hørlyk Hjort (Novo Nordisk)
15:00 - 15:30 Coffee break
15:30 - 16:15 Experiences Applying Formal Methods in Industry Guy Broadfoot (Verum)
16:15 - 16:45 Industrial Applications of Formal Methods: the State of the Art John Fitzgerald (University of Newcastle)
16:45 - 17:00 Closing
For programme details, including abstracts and speaker biographies, please visit the ForTIA webpage for the event