4 ms·
It's a lot easier to sprinkle some assertions throughout an existing legacy application than it is to reimplement that application in something like TLA+
by QuinnWilton 7y ago
It's a lot easier to sprinkle some assertions throughout an existing legacy application than it is to reimplement that application in something like TLA+