Bounded Invariant Checking for Stateflow

Predrag Filipovikj, Gustav Ung, Dilian Gurov +1

Stateflow models are complex software models, often used as part of industrial safety-critical software solutions designed with Matlab Simulink. Being part of safety-critical solut…