Integrating Formal Verification and Simulation-based Assertion Checking in a Corroborative V&V Process

Maike Schwammberger, Christopher Harper, Gleifer Vaz Alves +3

Automated Vehicles (AVs) are rapidly maturing in the transportation domain. However, the complexity of the AV design problem is such that no single technique is sufficient to provi…