Integrate with a build system
RVS tools are designed to easily integrate with existing build systems, even ones that apply and run tests on complex embedded targets. After integrating with a build system, RVS can run it to produce verification data.
Integration strategies are flexible, and do not add unnecessary overheads to your build process. For example, by using a compiler wrapper (available for some development environments), running your build system can be as simple as calling this instead of your regular compiler.
For information on some of the systems that RVS has been used on, see the RVS support specification.