Why I use TLA+ and not(TLA+) (via hwayne) — discussion

#formalmethods