CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project aims to simplify reasoning about complex programming languages by developing a new formalism. By utilizing simple mathematical models and algebraic laws, it seeks to make proofs more manageable and applicable to real-world programming scenarios.
It is hard to reason about imperative programs, especially when concurrency and pointers are involved.
Such programs are inherently complex, but the reasoning problem is exacerbated by conventional formalisms that demand, and thus encourage, tedious and overly detailed proofs.
This project aims to get a GRIP on reasoning by adopting a novel formalisation that holds promise to make proofs simpler and more general.
In particular, the goals of GRIP are 1) to equip popular reasoning techniques with…
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
