4 ms·
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
by 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 agoDo you have a source for that? I tried a few google searches and came up empty
- varelaz 8y agoIt 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