GitHub repository: shafiul/slemi
Primary language: MATLAB
Created: 2019-12-11T18:29:04Z
Description: SLEMI: Finding Compiler Bugs in Simulink via Equivalence Modulo Input (EMI)