Thomas Ball - The Correct Cloud - Logic and Languages
Curry On! · 39:35
Tom Ball (Microsoft Research) surveys decades of using automated theorem provers and language design to check real systems—especially cloud software and configuration—by reducing hard problems to SAT/SMT when possible...