Ada

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

RVS supports common Ada compilers and language standards by default, including Ada 95, 2005 and 2012 and GNAT Pro^TM and Green Hills^TM compilers among others. For a non-exhaustive list of the Ada 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.