2 papers
cs.SE2022
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…
cs.FL2021
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…