Glovo is an app that allows anyone to get desired products in minutes. All a user needs to do is tell the  app what they want and the order is delivered to the usee, wherever they are.

Project Progress:

• Part 1: Informal system description
• Part 1: List of requirements
• Part 1: Use case model
• Part 1: Class model
• Part 1: Formal VDM++ model  
• Part 1: Model validation
• Part 1: Model verification
• Part 1: Code Generation

You can see all these parts together under docs/Glovo_Report

VDM++
Eclipse
Java

• Bernardo Leite
• Vítor Magalhães