Discussion meeting issue “Verified trustworthy software systems” organised and edited by Philippa Gardner, Mike Gordon, Greg Morrisett, Peter O'Hearn and Fred Schneider