ForSmart: Effective Formal Methods for Smart-Contract Certification
Dauer: 48 Monate, Fördersumme: € 799.850
ProbInG: Distribution Recovery for Invariant Generation of Probabilistic Programs
Dauer: 49 Monate, Fördersumme: € 782.100
Automated Program Analysis for Bounds on Resource Consumption
Dauer: 48 Monate, Fördersumme: € 450.000
Heisenbugs: From Detection to Explanation
Dauer: 112 Monate, Fördersumme: € 1.500.000
PROSEED: Proof Seeding for Software Verification
Dauer: 48 Monate, Fördersumme: € 598.000