Promt: Probably the Best Moment to Terminate
Fördersumme: € 879.423
ForSmart: Effective Formal Methods for Smart-Contract Certification
Dauer: 48 Monate, Fördersumme: € 799.850
Heisenbugs: From Detection to Explanation
Dauer: 112 Monate, Fördersumme: € 1.500.000