Project Details
Description
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
Status | Finished |
---|---|
Effective start/end date | 1/07/21 → 30/06/22 |
Fingerprint
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.