This repository contains formal models for vac protocols. These formal models serve to illustrate some of the high-level concepts.
The current specs implemented:
