June 4th 2021

Racetrack: A Common CPEC Use Case

The website revolving around the CPEC projects related to the Racetrack use case is online! On this page you find general information about and material for Racetrack applications, like different maps and detailed descriptions of the tools and software used in CPEC. Deep Statistical Model Checking, the TraceVis tool (in cooperation with E4) and NN Safety Verification has been developed in project C6 around Racetrack. Project C2 uses Racetrack for Suitability Analysis. The website also informs about how NN training on Racetrack has been done in different CPEC projects.