Behavioral refinement
10
- types as behavior
- verification
- abstraction and representation
- behavioral compositions
Additional keywords and phrases:
behavioral subtypes, state transformers,
correctness formulae, assertion logic,
transition systems, invariants, formal specification
slide: Behavioral refinement