We will present our technical paper „Flow Sensitive Slicing for MATLAB/Simulink Models“ at WICSA and Comparch 2016 on 6th of April 2016 and will show case artshop during the tool demo session on 7th April. If you are visiting the conference in the heart of Venice join us during our sessions. We will soon update […]
A video showing the static value range analysis for MATLAB/Simulink models integrated within artshop was shown at the Matlab Research Faculty Summit that took place in Boston from 6-8th June 2015. If you missed this video you can watch it below.