December 2, 2020, FME Industry Committee meeting Present Jonathan Bowen Jan Friso Groote Colin O’Halloran John Hatcliff Klaus Havelund Thierry Lecomte Cristina Seceleanu Markus Völter Agenda Agreeing on objectives Do we need funding? The tasks Video with interviews Other issues Agreeing on objectives The following objectives were agreed upon:
Increase use of formal methods in industry.
Increase awareness in industry of formal methods. This includes informing the industry about which formal methods are available, which companies use formal methods, which companies offer formal methods and consultancy, industrial success stories of formal methods, and other relevant material such as links to papers concerned with the above aspects.
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
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.
Create list of ‘applications of formal methods’ that demonstrate feasibility.