Overview
This page provides context for the ICE 2011 presentation by Prakash Panangaden. It highlights recurring workshop themes and links to background notes that are referenced across the site.
Reading route: start with contracts, then connect composition to verification workflows.
Related notes
- Behavioural contractsAssumptions/guarantees and compositional boundaries.
- Component systems and BIPCoordination as an explicit design dimension.
- Model checking primerHow global properties get checked in practice.