https://www.hillelwayne.com/tags/tutorial/ Recent content in Tutorial on Hillel Wayne Hugo -- gohugo.io en-us Wed, 09 Oct 2019 00:00:00 +0000 https://www.hillelwayne.com/post/formally-modeling-migrations/ Wed, 09 Oct 2019 00:00:00 +0000 https://www.hillelwayne.com/post/formally-modeling-migrations/ Most of my formal methods examples deal with concurrency, because time is evil and I hate it. While FM is very effective for that, it gives people a limited sense of how flexible these tools are. One of the most common questions I get from people is Formal methods looks really useful for distributed systems, but I’m not making a distributed system. Is FM still useful for me?