GitHub repository: nickebbutt/Chorus
Primary language: Java
Description: Executable Specifications for Distributed Systems