Tales from Verification History

Program verification as a research area was born of the efforts of engineers and logicians to give meaning to programs. The fundamental ideas stem from diverse areas ranging from philosophy and linguistics to abstract algebra. In this talk, I will trace two threads in this tangled and colourful hist...