GitHub repository: loonwerks/AGREE
Primary language: Java
Created: 2020-01-13T12:22:55Z
Description: Assume-Guarantee REasoning Environment