Verifying Code toward Trustworthy Software

Hyong-Soon Kim and Eunyoung Lee
Volume: 14, No: 2, Page: 309 ~ 321, Year: 2018
10.3745/JIPS.01.0027
Keywords: Certified Compiler, Formal Verification, Language Semantics, Program Verification
Full Text:

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.

Article Statistics
Multiple requests among the same broswer session are counted as one view (or download).
If you mouse over a chart, a box will show the data point's value.


Cite this article
IEEE Style
Hyong-Soon Kim and Eunyoung Lee , "Verifying Code toward Trustworthy Software," Journal of Information Processing Systems, vol. 14, no. 2, pp. 309~321, 2018. DOI: 10.3745/JIPS.01.0027.

ACM Style
Hyong-Soon Kim and Eunyoung Lee , "Verifying Code toward Trustworthy Software," Journal of Information Processing Systems, 14, 2, (2018), 309~321. DOI: 10.3745/JIPS.01.0027.