Verifying Code toward Trustworthy Software

Hyong-Soon Kim, Eunyoung Lee, Journal of Information Processing Systems Vol. 14, No. 2, pp. 309-321, Apr. 2018  

Keywords: Certified Compiler, Formal Verification, Language Semantics, Program Verification


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.

Show / Hide Statistics

Statistics (Cumulative Counts from November 1st, 2017)
Multiple requests among the same browser session are counted as one view.
If you mouse over a chart, the values of data points will be shown.

Cite this article
[APA Style]
Kim, H. & Lee, E. (2018). Verifying Code toward Trustworthy Software. Journal of Information Processing Systems, 14(2), 309-321. DOI: 10.3745/JIPS.01.0027.

[IEEE Style]
H. Kim and E. 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. 2018. Verifying Code toward Trustworthy Software. Journal of Information Processing Systems, 14, 2, (2018), 309-321. DOI: 10.3745/JIPS.01.0027.