18 - Formal Methods_ Case study Order in Stock

This lecture explains about the specification of a software using difference state variables. The case study uses sets, partial functions and bags as state variables.