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
The CRETE project aims to develop a sound and practical refinement type system for mainstream programming languages like Haskell and Rust. It focuses on enhancing program verification by integrating machine-checked mathematical proofs with real-world applications, such as web security and cryptographic protocols.
Refinement types are a type-based, static verification technique designed to be practical.
They enrich the types of an existing programming language with logical predicates to specify program properties and automatically validate these specifications using SMT solvers.
Refinement types are a promising verification technology that in the last decade has spread to mainstream languages (e.g., Haskell, C, Ruby, Scala, and the ML-family) to verify sophisticated properties of real world applications,…
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.
Guests see up to 5 keywords.
