Frequency of damage arising from errors are steadily increasing and the error verification task has become an inevitable step to eliminate flaws as the dependence on SW rises.
In software error verification tool, a technology called “Separation Logic”, one of the quickest ways of checking how computer programs function, is commonly used. For the past decade, only a small percentage of the technology was used, limiting the number of ways in which software errors could be verified.
Lee’s thesis introduced the foundation regarding the full usage of “Separation Logic,” which would make the error verification process less cumbersome. He said that his research outcomes will be used to develop an effective verification tool.
저작권자 © 포항공대신문 무단전재 및 재배포 금지
