RVS can be used to verify C code for requirements-based testing, structural coverage, execution time and scheduling behavior.
RVS supports common C compilers and language standards by default, including Visual StudioTM, GCCTM, DiabTM and TASKINGTM. For a non-exhaustive list of the C 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.