We offer a range of training courses on topics related to verification of critical software; our:
- RVS tool training courses train attendees in how to use the Rapita Verification Suite (RVS) to efficiently verify critical software.
- Multicore timing analysis training courses train attendees in how to use the Rapita multicore timing analysis workflow to analyze software timing behavior in the context of multicore interference.