3 ms·
A year (or two?) ago, I was looking at TLA+ when I stumbled across Coyote[1]. I haven't used Coyote, but it looks interesting in that it's embedded in the langu
by withinboredom 5y ago
A year (or two?) ago, I was looking at TLA+ when I stumbled across Coyote[1]. I haven't used Coyote, but it looks interesting in that it's embedded in the language itself, allowing you to "prove" that the algorithm still works when you change implementation details.
1: https://microsoft.github.io/coyote/ https://microsoft.github.io/coyote/