# content
Reasoning about systems' state spaces (via typesanitizer) — discussion

#formalmethods #practices #video