Verifying behavioral properties
2
states
-- transformations
verification
-- correctness formulae
axioms
-- consequence rules, abstraction
slide
:
Section 10.2: Verifying behavioral properties
