This repository contains software artifacts used in an approach to security-minded formal verification of the standard protocol for sending/receiving Cooperative Awareness Messages between autonomous vehicles.
autonomy-and-verification/security-minded-verification
Source code for the paper "Security-Minded Verification of Cooperative Awareness Messages" currently submitted to IEEE Transactions on Dependable and Secure Computing
PromelaMIT