Formal Verification of a Mixed-Trust Synchronization Protocol
Ruben Martins, Michael McCall, Dionisio de Niz, Amit Vasudevan, Bjorn A. Andersson, Mark Klein, John P. Lehoczky, Hyoseung Kim · 2021
Cyber-Physical Systems (CPS) are becoming widespread in many safety-critical real-time applications, such as autonomous driving, robotics systems, and unmanned aircraft. However, verifying these complex real-time systems remains an open challenge because traditional verification techniques are unable to verify all components.