Search Word(s) in Title, Keywords, Authors, and Abstract:
Language Semantics
Verifying Code toward Trustworthy Software
Hyong-Soon Kim and Eunyoung Lee
Page: 309~321, Vol. 14, No.2, 2018
10.3745/JIPS.01.0027
Keywords: Certified Compiler, Formal Verification, Language Semantics, Program Verification
Show / Hide Abstract
Verifying Code toward Trustworthy Software
Hyong-Soon Kim and Eunyoung Lee
Page: 309~321, Vol. 14, No.2, 2018

Keywords: Certified Compiler, Formal Verification, Language Semantics, Program Verification
Show / Hide Abstract
In the conventional computing environment, users use only a small number of software systems intensively.
So it had been enough to check and guarantee the functional correctness and safety of a small number of giant
systems in order to protect the user systems and their information inside the systems from outside attacks.
However, checking the correctness and safety of giant systems is not enough anymore, since users are using
various software systems or web services provided by unskilled developers. To prove or guarantee the safety of
software system, a lot of research has been conducted in diverse areas of computer science. We will discuss the
on-going approaches for guaranteeing or verifying the safety of software systems in this paper. We also
discuss the future research challenge which must be solved with better solutions in the near future.