Good luck with this. I heard about practical TLA usage. There was hang up in pyt... | Hacker News

Hacker News new | past | comments | ask | show | jobs | submit

login

varelaz on April 15, 2019 | parent | context | favorite | on: Learn TLA+ (2018)

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 on April 15, 2019 [–]

Do you have a source for that? I tried a few google searches and came up empty

varelaz on April 15, 2019 | [–]

It was part of the talk in PyCon Ukraine 2018, which I took part. 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

Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact