In a couple of weeks, on a Tuesday evening, there will be a live & online lecture from Gresham College about designing correctness into programmes. < https://www.gresham.ac.uk/lectures-and-events/making-software-correct-by-construction > -- -- Darren Menachem Drapkin