ProtEnc – Proving Protocols with Typestates in C++ (github.com)

2 points by nitnelave 7y ago ↗ HN

1 comment

[ 4.6 ms ] story [ 9.6 ms ] thread

brudgers 7y ago ↗

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