Would I be right in saying Promela and SPIN are at a higher level than what is b... | Hacker News

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

		Marazan 8 months ago \| parent \| context \| favorite \| on: Systems Correctness Practices at Amazon Web Servic... Would I be right in saying Promela and SPIN are at a higher level than what is being described in the article?

mjb 8 months ago [–]

I (one of the authors) did some distributed systems work with Promela about a decade ago, but it never felt like the right fit in the domain. It's got some cool ideas, and may be worth revisiting at some point.

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