ProtEnc – Proving Protocols with Typestates in C++ | Hacker News

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

		ProtEnc – Proving Protocols with Typestates in C++ (github.com/nitnelave)
		2 points by nitnelave on July 31, 2019 \| hide \| past \| favorite \| 1 comment

brudgers on July 31, 2019 [–]

Typestate analysis https://en.wikipedia.org/wiki/Typestate_analysis

Consider applying for YC's Fall 2025 batch! Applications are open till Aug 4
Guidelines | FAQ | Lists | API | Security | Legal | Apply to YC | Contact