Continuous Reasoning

Peter W. O'Hearn
2018 Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '18  
This paper describes work in continuous reasoning, where formal reasoning about a (changing) codebase is done in a fashion which mirrors the iterative, continuous model of software development that is increasingly practiced in industry. We suggest that advances in continuous reasoning will allow formal reasoning to scale to more programs, and more programmers. The paper describes the rationale for continuous reasoning, outlines some success cases from within industry, and proposes directions
more » ... work by the scientific community. CCS Concepts • Theory of computation → Program reasoning; • Software and its engineering;
doi:10.1145/3209108.3209109 dblp:conf/lics/OHearn18 fatcat:i7ig3p6kirhktnma7km2ixyteu