Overview
This page provides context for the ICE 2011 presentation by Massimo Bartoletti. It highlights interface reasoning and how it connects to analysis workflows.
Reading route: treat contracts as the “currency” of composition, then connect them to analysis workflows.
Related notes
- Behavioural contractsA structured way to state requirements/guarantees.
- Model checking primerConnecting contracts and properties to tooling.
- Component systems and BIPCoordination and composition in a concrete setting.