Behavioral refinement
- 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