GitHub repository: AntidoteDB/repliss-filesystem
Description: Verification tool for information systems built on top of weakly consistent databases