ForSmart: Effective Formal Methods for Smart-Contract Certification
Duration: 48 months, Funding volume: € 799,850
ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs
Duration: 63 months, Funding volume: € 782,100
Automated Program Analysis for Bounds on Resource Consumption
Duration: 48 months, Funding volume: € 450,000
Heisenbugs: From Detection to Explanation
Duration: 112 months, Funding volume: € 1,500,000
PROSEED: Proof Seeding for Software Verification
Duration: 48 months, Funding volume: € 598,000