Security Minded Verification

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.