Skip to content(if available)orjump to list(if available)

Formal specs as sets of behaviors

thdhhghgbhy

I was hoping for a TLA+ example, but it never got there.

AndrewKemendo

There’s definitely some good patterns in here. Needs worked examples