Computer-checked proofs about software

Published: Nov. 24, 2019, 5 a.m.

Computer-checked proofs can ensure properties of software.\xa0 Discussion of several aspects of this idea.