How to do the formal method

11 years ago