Programming with Proofs for High-assurance Software

Programming with Proofs for High-assurance Software

November 13, 2020 | Digital Marketing, MS Dynamics 365


Programming critical systems with proofs, a long-standing goal of computer science, is beginning to come within reach of modern programming languages and pro…