A friend of mine did an experiment with his grad students in his Formal Methods ...

		agentultra on Oct 31, 2019 \| parent \| context \| favorite \| on: On Binary Search A friend of mine did an experiment with his grad students in his Formal Methods class. They all submitted their implementation of binary search and he modelled them each in TLA+. The majority of them all had errors.