These are chat archives for
Sign in to start talking
May 22 2016 14:54
If you ever wonder the difference between Model (property value) and State, I would recommend this story:
TLA+ has the concepts of "safety" which helps detect unwanted/unsafe "states".