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