The P# team at Microsoft works on enabling developers to write reliable, well-designed and well-tested software through model checking and language integration techniques. The approach is reminiscent of TLA+ like techniques but differs in that the c…