How does RVS help me get started?

RVS make it easy to get started with a range of resources:

• Interactive tutorials guide you through using each RVS tool.
• Example projects, reports and tests let you explore using RVS with example code, while sandbox projects let you plug in Ada, C and C++ snippets and get started with on-host verification quickly.
• If you’re looking for more detail about specific topics, the RVS documentation is at hand.  

And no matter what your question, RVS’s help search can link you to the most helpful resources at the click of a button.