March 2020 Meeting

March 25, 2020, FME Industry Committee meeting

Agenda

To discuss which actions the industry committe should take on.

Minutes

The committee agreed to the following actions

1. Create list of ‘formal methods tools’ with focus on mature tools, preferably used by others than the developers, and preferably with use in industry. We will start by defining 5-7 criteria for which tools to include.

2. Create list of ‘applications of formal methods’ that demonstrate feasibility. These will be sorted by domain. The teaching committee is collecting ‘case studies’. The difference would be our focus on real applications whereas the case studies maintained by the teaching community could focus on the teaching aspect (perhaps smaller case studies, well explained). However, there is a grey zone here. This will be explored as we move forward in collaboration between the two committees.

3. Create list of ‘industrial formal methods users’.

4. Create list of ‘formal methods companies’ offering formal methods tools or consulting in formal methods.

5. Reconsider the design of the ‘industry website’, perhaps to use the same template as the teaching website.