Introduction to formal methods and an Industrial Controls use case
• What are/ Where can we apply/ When should we apply formal methods?
• Why they are not very popular in certain industries (yet)?
• Industrial Controls domain (BE-ICS):
- Formal Verification (model checking) of PLC programs
- Formal Specification of PLC programs