Formal Methods for High Reliable Systems
In the age of Internet of Things, business models often require high reliable requirements and specifications. In this talk, we define three important properties of software which are “reliability”, “safety” and “security”. We then introduce several formal methods in terms of formal specification and formal verification. We show briefly that how we can use formal methods to build models with high reliable/safe/secure properties.
Lecture at NEMO2016
Date/Time: Wednesday, July 20, 2016 at 10:00