These are chat archives for jdubray/sam

Aug 2018
Jean-Jacques Dubray
Aug 31 2018 14:51
@dfkaye_twitter after two and half year using SAM, I have never felt once that I would regret using it, quite the opposite, each time I have tried to go around its semantics, that's when I failed (resoundingly). TLA+ seems to offer the perfect combination of semantics (state, control state, action and next-state-relation which I translated into SAM, but that's just my translation). Not to forget invariants and safety conditions of course. I don't see anything coming even close to these semantics.