Why Don't People Use Formal Methods?

Here’s a tweet about how the blog writer came to formal methods:

In his blog he names a tutorial he wrote, he organizes workshops too: Practical TLA+ Now Available Practical TLA+: Planning Driven Development | SpringerLink . There is also
TLA+ Video Course

1 Like