For this initial part of the research, the goal is to design a way of informing the leakage search about the expected leakage conditions. This ad-hoc leakage contract, will be written in a simple specification language that can be easily translated into Boolean formulas. The second part of the research area builds on the results and methods obtained through the systematic leakage detection
|Effective start/end date||1/07/21 → 30/06/22|
Explore the research topics touched on by this project. These labels are generated based on the underlying awards/grants. Together they form a unique fingerprint.