Automatically analyze the behavior of tasks in your system as it runs.
Understand your system's scheduling behavior at a glance.
Identify and analyze capacity issues in your system.
Collect task scheduling data without instrumenting individual tasks.
Run tests on host computers and test rigs in continuous build environments.
Configure integrations of RVS into your development environment quickly and easily.
Take your test project from creation to completion with an intuitive user-interface.
After integrating one RVS tool to work a development environment, it is trivial to use others.
Multiple users can share the same test environment.
Apply analysis settings easily using a friendly user interface.
Customize the RVS workflow to best meet your needs.
Create and use template integrations to reduce your effort integrating RVS with your system.
Customize the color scheme used to display your results.
Customizable task colors help you highlight the tasks you're most interested in.
One tool to meet all your software verification needs.
View code with syntax highlighting and color-coding of results.
Easily filter results to focus your analysis.
Search reports for specific elements using advanced queries.
A timeline of your invocations helps you visualize the order of calls and how long each took to execute.
Collect data from almost any build system.
The recommended build integration strategy requires little if any change to the development environment.
Copy the build system to build and test code with RVS.
Collect data from almost any embedded target with flexible collection strategies.
Verify critical multicore systems.
Fit more tests on your target and reduce the number of builds you need to run.
Collect verification data from LauterbachTM debuggers.
Collect verification data from iSYSTEMTM debuggers.
Support for C, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.
Support for C++, Visual StudioTM, GCCTM, DiabTM and TASKINGTM compilers among others.
Support for Ada 95, 2005 and 2012, GNAT ProTM and Green HillsTM compilers among others.
Support for mixed languages in the same code base.
Support for testing Assembly code.
Manage extensions to support non-standard programming languages with an interactive editor.
Select floating or node-locked licenses with annual or perpetual duration.
Floating licenses support multiple users and shared working environments.
Node-locked licenses support use of RVS within a limited geographical area.
License RVS for use idefinitely.
License RVS in annual increments.
License usage data is exported in a format compatible for tracking using FlexNet Publisher.
Integration and learning resources help you get started verifying your code in no time.
Dedicated support service to resolve technical issues quickly.
Get up to speed with custom training courses delivered by skilled field application engineers.
Learn how to use RVS features with comprehensive documentation in both printed and electronic formats.