GitHub repository: peterzeller/repliss
Primary language: Java
Created: 2017-04-23T19:34:13Z
Description: Verification tool for information systems built on top of weakly consistent databases