Assertions -- formal specification


slide: Formal specification of contracts