4 papers
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…
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…
Dynamic Vulnerability Detection on Smart Contracts Using Machine Learning
Mojtaba Eshghie, Cyrille Artho, Dilian Gurov
In this work we propose Dynamit, a monitoring framework to detect reentrancy vulnerabilities in Ethereum smart contracts. The novelty of our framework is that it relies only on tra…
An Abstract Contract Theory for Programs with Procedures
Christian Lidström, Dilian Gurov
When developing complex software and systems, contracts provide a means for controlling the complexity by dividing the responsibilities among the components of the system in a hier…