RVS can be used to verify mixed language code for requirements-based testing, structural coverage, execution time and scheduling behavior.
Instrumentation-based RVS tools (e.g. RapiCover) support most common compilers and language standards by default. For a non-exhaustive list of the compilers we've worked with, see the RVS support specification.
If you're using a modified compiler or language standard, it's easy to add support for this by using RVS compiler extensions. We can also support this directly through our integration services.
Zero-footprint RVS tools (e.g. RapiCoverZero) support verification of code written in any compiled language, including Ada.
Feature applies to: