C

RVS can be used to verify C code for requirements-based testing, structural coverage, execution time and scheduling behavior.

Instrumentation-based RVS tools (e.g. RapiCover) support common C compilers and language standards by default, including Visual Studio^TM, GCC^TM, Diab^TM and TASKING^TM. For a non-exhaustive list of the C compilers we've worked with, see the RVS compatibility page.

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. RapiCover^Zero) support verification of code written in any compiled language, including C.