The CPP project is divided into four work-packages:
- WP1: Repository of Examples and Classical Solutions
- WP2: Belief Function and Prevision Semantics of Numerical Programs
- WP3: P-boxes and Approximation Schemes for Value and Error Analysis
- WP4: Bi-simulation distance between floating-point behaviour and real number