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

2 points by nitnelave 6y ago ↗ HN

1 comment

[ 3.0 ms ] story [ 10.7 ms ] thread

brudgers 6y ago ↗

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