GitHub repository: usi-verification-and-security/athena
Primary language: Shell
Description: Validation framework for CHC models