Home NEMO 2016 Lectures Formal Methods for High Reliable Systems

Formal Methods for High Reliable Systems

Prof. Dr. Jin-Young Choi

Prof. Dr. Jin-Young Choi

Korea University Seoul, Korea

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