Moving Fast with Software Verification

Download PDF
Open Webpage

Cristiano Calcagno, Dino Distefano, Jérémy Dubreil, Dominik Gabi, Pieter Hooimeijer, Martino Luca, Peter W. O'Hearn, Irene Papakonstantinou, Jim Purbrick, Dulma Rodriguez

Published: 2015, Last Modified: 16 May 2025NFM 2015EveryoneRevisionsBibTeXCC BY-SA 4.0
Abstract: For organisations like Facebook, high quality software is important. However, the pace of change and increasing complexity of modern code makes it difficult to produce error-free software. Available tools are often lacking in helping programmers develop more reliable and secure applications.