GitHub repository: EricCrosson/camelot
Created: 2016-04-14T23:48:25Z
Description: A fortress safe from deadlocks, proved with formal verification