Title: Partial Differential Equations and Applied Mathematics Seminar (2016.05.20)
Author: CMAC
Date: 2016-05-18 (11:14)

Partial Differential Equations and Applied Mathematics Seminar

Date/Time: May 20th, Fri., 2:00~ 3:00 PM

Location: Science Building #254 Yonsei University

Speaker: Prof. Yunja Choi

Affiliation: Kyungpook National University

Title: Software Modeling and Verification


Software development is a process involving understanding of human requirements and translating them into machine languages. The large discrepancy between human languages and machine languages makes the task extremely difficult and the resulting products unreliable. Ensuring the continuity of software from requirements to final products is a key factor for high-quality software. This talk introduces software modeling as a basic building block for bridging human requirements and computer languages, together with its role in the continuous verification and validation of software artifacts in the development process, with a focus on formal modeling and formal verification using mathematical proof systems.