GitHub repository: sreeja/soteria_tool
Primary language: Python
Created: 2018-11-16T18:58:18Z
Description: Verifies the specification of distributed applications that work on an eventually consistent datastore propagating states.