Dispenser Example and its Stainless Representation

02-01-Live, CS-550 Formal Verification