GitHub repository: ArchitectureMining/CoRA
Primary language: TypeScript
Created: 2018-08-08T08:05:53Z
Description: Coverability and Reachability Analyzer