Login ㆍ Sign up
Updated: 2018.4.13 22:17
HOME > NEWS > News > News
Runtime Verification Inc. Signs Cooperation Agreement with KAIST
[ Issue 151 Page 3 ] Wednesday, March 29, 2017, 22:31:25 Juhoon Lee Junior Staff Reporter juhoonlee@kaist.ac.kr

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.”

Juhoon Lee Junior Staff Reporter Archives  
Twitter Facebook Google
ⓒ KAIST Herald 2011 (http://herald.kaist.ac.kr)
All materials on this site are protected under the Korean Copyright Law and may not be reproduced, distributed, transmitted, displayed, published without the prior consent of KAIST Herald.

Total comments(0)  
      Enter the code!   
   * Readers can write comments up to 200 words (Current 0 byte/Max 400byte)
About Us | Privacy Policy | Rights and Permissions | Article Submission | RSS | Contact Us
The KAIST Herald, Undergraduate Library, KAIST, Daejeon, Republic of Korea
Publisher: Sung-Chul Shin | Managing Editor: Jeounghoon Kim | Editor: Sejoon Huh
Copyright 2011-2018 The KAIST Herald | All rights reserved | Mail to: kaistherald@gmail.com