Have you read any of Hillel Wayne's stuff? He's got great articles on various formal methods approaches. https://www.hillelwayne.com/tags/formal-methods/ https

Have you read any of Hillel Wayne's stuff? He's got great articles on various formal methods approaches. https://www.hillelwayne.com/tags/formal-methods/ https://www.hillelwayne.com/tags/formal-methods/ Check out the sub-topic tags for more. Or just skim his blog.