Evaluating Model Testing and Model Checking for Finding Requirements Violations in Simulink Models

Shiva Nejati, Khouloud Gaaloul, Claudio Menghi +3

Matlab/Simulink is a development and simulation language that is widely used by the Cyber-Physical System (CPS) industry to model dynamical systems. There are two mainstream approa…