4 ms·
I never recommend TLA for reasoning about programs, but about models. It's great for describing a system you're still designing.
by colanderman 5y ago
I never recommend TLA for reasoning about programs, but about models. It's great for describing a system you're still designing.
- rramadass 5y agoElaborate please; Without reasoning about programs how do you come up with the predicates which constitute a Model? Are you making a distinction between declarative logic used in specifications vs. say predicate transformers used in proving program correctness?