model-slicing

There are 2 repositories under model-slicing topic.

  • arnobl/kompren

    Modelling and Generating Model Slicers with Kompren

    Language:Java1543
  • Reach-Coreach

    McSCert/Reach-Coreach

    Highlights data/control flow dependencies in Simulink models and performs model slicing

    Language:MATLAB41