How to do the formal method

13 years ago