Continuous Reasoning: Scaling the impact of formal methods

Federated Logic Conference (FLoC) 2018 ›

53:19 | Jul 10th, 2018

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 valu...Show More