CompCert – Formally-verified C compiler

2021-06-27

CompCert C a formally verified optimizing compiler for a large subset of C99

2021-06-26

I went to the “debate” about Program Verif and the Lipton-Demillo-Perlis paper

2021-06-26

Verification on Twitter and Facebook hurts Black candidates for NYC mayor

2021-06-21

Verified Software Toolchain

2021-06-21

How California's new digital vaccine 'verification system' works

2021-06-19

How do you link Verifiable Credentials to a human?

2021-06-19

California unveils online tool for vaccine verification

2021-06-18

Launch HN: Svix (YC W21) – Webhooks as a Service

2021-06-16

Amazon is fighting against laws to verify third-party sellers' details

2021-06-12