Continuous Reasoning: Scaling the impact of formal methods

Federated Logic Conference (FLoC) 2018 by Oxford University

Formal reasoning about programs is one of the oldest and most fundamental research directions in computer science. It has also been one of the most elusive. There has been a tremendous amount of valuable research in form...View more