Low-overhead Coverage Analysis For Critical Software

RapiCover - Rapita Systems Ltd.

* Collect coverage for Ada, C & C++ (inc. MC/DC) on-host & target
* Reduce test builds needed for analysis on constrained targets
* Save time with efficient merge and mark verification workflow
* Simplify verification by integrating with your CI tool
* Produce evidence for DO-178 and ISO 26262 certification