CCBM has been successfully deployed in multiple safety-critical avionics programs at Level B and Level C, providing certified-grade coverage analysis for structural verification activities. It has been applied across major aircraft families, including Airbus A350XWB, A380, and the A320/A340 families, as well as the IMA OSCM component, supporting rigorous verification in industrial flight software systems.
In academic research, CCBM was also used at the University of Bremen for the analysis of an avionics kernel implementation based on ARINC 653 API, supporting research into partitioned real-time operating systems for safety-critical environments.