Project Details
Description
This project will developed new techniques to verify, specify and develop programs with dynamics features, especially reflection, class loading and serialization. To this end it will investigate how dynamic features are used in practice, develop a knowledge-graph based library for development and specification, and finally develop a deductive verification tool to verify Java programs against such specifications.
| Status | Active |
|---|---|
| Effective start/end date | 01/11/2025 → 31/10/2029 |
Funding
- Independent Research Fund Denmark: DKK6,186,993.00
Keywords
- Software Verification
- Software Analysis
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.