SH ProofCert

Improving trust in computer systems using formal proofs

Dale Miller, Inria, Université Paris-Saclay, LIX, École Polytechnique, and CNRS highlights the role formal proofs can have in ensuring trust in computer systems

No posts to display

Advertisements


Latest Academic Articles

The latest academic articles from key research stakeholders