How long has RVS been used for software verification?

The Rapita Verification Suite (RVS) has been used in the critical embedded industry globally since 2004, supporting companies including Airbus, BAE Systems, Collins, Embraer and Pilatus. Over 130 Qualification kits have been delivered for DO-178B and C certification projects up to and including DAL A.