https://www.cwblogs.com/posts/Introduction-to-Formal-Methods/