Straw poll: Are you aware of any of the following? Which ones? (1) Preconditions, postconditions and invariants (2) TLA+ (3) Asserts Bonus points if you can explain what they might be used to achieve.
Started that way, but the ordering makes TLA+ stand out, at least to me! 
-
-
I feel that might be more because (1) and (3) are somewhat related (you might use asserts to implement the other). TLA+ is a rather different beast.
Thanks. Twitter will use this to make your timeline better. UndoUndo
-
Loading seems to be taking a while.
Twitter may be over capacity or experiencing a momentary hiccup. Try again or visit Twitter Status for more information.