Concise Guide to Formal Methods