Promt: Probably the Best Moment to Terminate
Duration: 48 months, Funding volume: € 879,423
Efficient Algorithms for Computer Aided Verification
Duration: 64 months, Funding volume: € 422,000
APALACHE: Abstraction-based Parameterized TLA Checker
Duration: 48 months, Funding volume: € 539,000
Automated Program Analysis for Bounds on Resource Consumption
Duration: 48 months, Funding volume: € 450,000
PROSEED: Proof Seeding for Software Verification
Duration: 48 months, Funding volume: € 598,000