Project

Perennial

The aim of this project is to develop a framework for verifying concurrent, crash-safe systems.