Programming with Proofs for High-assurance Software

Programming with Proofs for High-assurance Software

November 13, 2020 | Bitscape Team, Technology


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