These are chat archives for jdubray/sam

22nd
May 2016
Jean-Jacques Dubray
@jdubray
May 22 2016 14:54
If you ever wonder the difference between Model (property value) and State, I would recommend this story: http://www.smh.com.au/nsw/the-simple-westpac-banking-error-that-gave-christine-jia-xin-lee-46-million-20160520-gozv5q.html
TLA+ has the concepts of "safety" which helps detect unwanted/unsafe "states".