2 ms·ProtEnc – Proving Protocols with Typestates in C++2 points by nitnelave 7y agobrudgers 7y agoTypestate analysis https://en.wikipedia.org/wiki/Typestate_analysis https://en.wikipedia.org/wiki/Typestate_analysis