Presentations

Looking for more information on our products or services? See the presentations below for general information and please contact us for specifics.



The runtime verification term was coined by Professor Grigore Rosu (UIUC) and his colleague Dr. Klaus Havelund in their 2001 ACM/IEEE Automated Software Engineering paper, which received the Most Influential Paper award at the Automated Software Engineering Conference in August 2016, and the Test of Time award at the RV Conference in November 2018.
Download as : PDF



The RV overview provides the briefest possible overview of the runtime verification field, as well as the company and its products. This presentation is the best starting point for those unfamiliar with runtime verification.
Download as : PDF | Powerpoint



The RV technology and products presentation provides a longer introduction to and overview of runtime verification, covering the scientific field as well as the company and its products. This presentation expands further on the concepts presented in the overview.
Download as : PDF | Powerpoint



The RV-ECU presentation provides a general overview of the runtime verification ECU, an experimental technology aimed at runtime verification of the CAN bus in automotive and aerospace applications.
Download as : PDF | Powerpoint