GitHub repository: tum-i22/macke
Primary language: Python
Created: 2015-10-16T14:05:23Z
Description: Modular And Compositional analysis with KLEE Engine