Sentences with phrase «commercialized at runtime»

Beyond academia, this work has been successfully commercialized at Runtime Verification, Inc. where tools like RV - Match, an automatic C analyzer which includes checks for undefined behavior, are developed as applications of the K semantics of C.