4 ms·

I love the concept of formal verification, but translating my algorithms into yet another DSL and hoping I get that right seems like a waste of time. I'd rathe

I love the concept of formal verification, but translating my algorithms into yet another DSL and hoping I get that right seems like a waste of time. I'd rather simulate the algorithm with my brain.

varelaz 8y ago
Good luck with this. I heard about practical TLA usage. There was hang up in python asyncio library related to concurrency and it required 24 steps to reproduce. It was found and fixed with TLA help.
- michael_j_ward 8y ago
  Do you have a source for that? I tried a few google searches and came up empty
  - varelaz 8y ago
    It was part of the talk in PyCon Ukraine 2018, which I took part. https://pyvideo.org/pycon-ukraine-2018/verification-of-concurrent-and-distributed-systems.html https://pyvideo.org/pycon-ukraine-2018/verification-of-concu... That's the video Sorry it's on Russian and amount of steps was 33. Check 28:30
deleted 8y ago
[deleted]