On November 22, the School of Computing signed an educationalindustrial cooperation agreement with Runtime Verification Inc. for the donation of Runtime Verification’s advanced software analysis tool to help foster the software development research and education at KAIST.

Runtime Verification, Inc., a software testing company, specializes in detecting software bugs in programs. Its notable clients include NASA, Toyota, and Boeing. The company has donated the solution exclusively to KAIST among Korean universities, and KAIST intends to bolster the software verification and validation research and to integrate the analysis tool as part of its softwarerelated curriculum. The contract provided KAIST with a Runtime Verification solution that runs the given software to identify bugs present within it.

The solution prevails over its competitors by using an analysis method that can discover typically imperceptible bugs overlooked by code-based analysis. The tool inspects the program amidst its execution phase rather than amidst the code, and reviews the results in order to expose bugs. Thus, unlike traditional approaches, runtime verification manages sizable codebases while yielding precise results. Additionally, software developers benefit from the increased time-efficiency as the solution diminishes the number of false alarms that arise from existing verification systems.

The agreement was signed at the School of Computer Science Building (E3-1). At the event, KAIST Professor Moonzoo Kim and Runtime Verification CEO and University of Illinois at Urbana-Champaign Professor Grigore Rosu were present as representatives. Other prominent figures, such as the executive director of E-Way Partners, the exclusive distributor of the Runtime Verification solutions in South Korea, attended the occasion. Rosu, a distinguished authority in the field and the founder of Runtime Verification, stated, “I hope that the Runtime Verification solutions will aid in advancing IT development projects, such as the next-generation systems.” In regards to the expansion of the collegiate collaboration with KAIST, he stated, “If necessary, we will provide further assistance through free donations of our software analysis tool.”

Copyright © The KAIST Herald Unauthorized reproduction, redistribution prohibited