That lecture I mentioned some time ago about progamme provability from Gresham College. Its available online now at:- < https://www.gresham.ac.uk/lectures-and-events/making-software-correct-by-construction > -- Darren Drapkin