GitHub topics: model-slicing
arnobl/kompren
Modelling and Generating Model Slicers with Kompren
Language: Java - Size: 29.5 MB - Last synced at: about 1 month ago - Pushed at: over 2 years ago - Stars: 1 - Forks: 3
McSCert/Reach-Coreach
Highlights data/control flow dependencies in Simulink models and performs model slicing
Language: MATLAB - Size: 2.82 MB - Last synced at: about 2 years ago - Pushed at: over 3 years ago - Stars: 0 - Forks: 0
