GitHub repository: stormosson/camelot
Primary language: CMake
Description: A fortress safe from deadlocks, proved with formal verification