GitHub repository: EmbeddedMontiArc/ViewVerification
Primary language: Java
Created: 2017-08-08T10:57:13Z
Description: verifies whether a C&C model (implementation) satisfies its C&C views (designs)