Behavioral refinement

10


Additional keywords and phrases: behavioral subtypes, state transformers, correctness formulae, assertion logic, transition systems, invariants, formal specification


slide: Behavioral refinement