5 citations · 7 across the 13 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.SE2022
Towards Trace-based Deductive Verification (Tech Report)
Richard Bubel, Dilian Gurov, Reiner Hähnle +1
Contracts specifying a procedure's behavior in terms of pre- and postconditions are essential for scalable software verification, but cannot express any constraints on the events o…
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…