Reasoning about systems' state spaces (via typesanitizer) — discussion
#formalmethods #practices #video
