In this lecture, set variables are used as a system state variables. Focus of the lecture is the use of sets in the formal specification of software in VDM Specification language.
Right-click 'Download' and select 'Save Link As' if the file opens in a new tab.
