ID2019: ID@FM'19 (INDUSTRY DAY - FORMAL METHODS 2019)
PROGRAM
Friday, October 11th

View this program: with abstractssession overviewtalk overview

09:00-10:00 Session 1: Invited talk

Invited talk

09:00
Formal Models as Executable Prototypes and Interactive Requirements Documents (abstract)
10:00-10:30Coffee Break

Coffee break

10:30-12:00 Session 2: Railways applications

Railways Applications

10:30
Adopting Formal Methods in an Industrial Setting: the Railways Case (abstract)
11:00
Property-Driven Software Analysis (abstract)
11:30
Formal Conceptual Modelling: Industrial Application of Event-B to a Wayside Train Monitoring System (abstract)
12:00-14:00Lunch Break

Lunch

14:00-15:00 Session 3: Invited talk

Invited talk

14:00
On the Role of Formal Methods in Assuring Autonomous Systems That Use Machine Learning (abstract)
15:00-15:30Coffee Break

Coffee break

15:30-16:30 Session 4: Industry Applications

Industry Applications

15:30
Practical Application of SPARK to OpenUxAS (abstract)
16:00
Formal Methods Applicability on Space Applications Specification and Implementation using MORA-TSP (abstract)