Abstract: We reflect on the impact of software verification techniques, as implemented in the logic model checking tool SPIN, on the development of modern safety critical software systems and reflect ...