APALACHE: Abstraction-based Parameterized TLA Checker
Duration: 48 months, Funding volume: € 539,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