Summary
The CRETE project aims to develop the foundations of refinement types and apply them to verify real world applications. Refinement types is a static verification technique that is designed to be practical, meaning to get integrated in mainstream programming. As such, it was...
