Efficient Algorithms for Computer Aided Verification
Dauer: 64 Monate, Fördersumme: € 422.000
APALACHE: Abstraction-based Parameterized TLA Checker
Dauer: 48 Monate, Fördersumme: € 539.000
Automated Program Analysis for Bounds on Resource Consumption
Dauer: 48 Monate, Fördersumme: € 450.000
PROSEED: Proof Seeding for Software Verification
Dauer: 48 Monate, Fördersumme: € 598.000