GitHub repository: KIT-TVA/CorC
Primary language: Java
Description: Tool Support for Correctness-by-Construction