1. Partial Differential Equations and Applied Mathematics Seminar
Title Software Modeling and Verification
Speaker 최윤자 교수
Affiliation 경북대학교 컴퓨터공학과
Date May 20th, Fri., 2:00~ 3:00 Pm
Location Science Building #254 Yonsei University
Abstract
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.
Yonsei University Department of Mathematics