Formal Specification

Homework $3$

$10$ Marks

Using Dafny language answer the following questions

Question $1$: Write a method Max that takes two integer parameters and returns their maximum. Add appropriate annotations and make sure your code verifies.Question $2$: Write a test method that calls your Max method from Exercise $1$ and then asserts something about the result.