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.