Overview
This page provides context for the ICE 2011 presentation by Ilias Garnier. It emphasises executable semantics and how analysis questions get formulated over models.
Reading route: define the transition system, then ask properties.
Related notes
- Model checking primerFrom semantics to automated property checks.
- Graph rewriting and SOSA useful formal model for step-by-step behaviour.
- Session types and protocolsProtocol constraints as behavioural structure.