Ada

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

Instrumentation-based RVS tools (e.g. RapiCover) support 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 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 Ada.