Here is the Model of the Parking Lot System. System, testing and formal verification developed by: Juan Pablo Giron, with the aim of Eugenio Tamura.