This assignment consists of three tasks: a. Producing a formal specification in VDM. b. Implementing part of the specification in SPARK. Read the following scenario: Telco Research is a research organization involved in the R&D of telecommunication products and technologies… (Budget: $30-$250 USD, Jobs: Freelance)
