An approach to the verification of material handling systems.