Isn't this where formal specification languages like TLA+ are useful? | Hacker News

Hacker Newsnew | past | comments | ask | show | jobs | submit

		omginternets on Oct 17, 2017 \| parent \| context \| favorite \| on: Falling through the KRACKs Isn't this where formal specification languages like TLA+ are useful?

hwayne on Oct 17, 2017 | [–]

I sometimes describe TLA+ to people as "unit-testable flowcharts." It's pretty inaccurate but kinda gets the idea across?

platz on Oct 17, 2017 | [–]

yes

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