GitHub repository: ContractAutomataProject/ContractAutomataLib
Primary language: Java
Description: The Contract Automata Library implements Contract Automata and their operations (e.g., composition, synthesis). This is the main repository of the Contract Automata Toolkit.