Bounded Invariant Checking for Stateflow Programs

Predrag Filipovikj, Dilian Gurov, Mattias Nyberg

Stateflow models are complex software models, often used as part of safety-critical software solutions designed with Matlab Simulink. They incorporate design principles that are ty…