3 ms·An example of real-world verified software is miTLS: https://www.mitls.org/ https://www.mitls.org/by profquail 7y agoAn example of real-world verified software is miTLS: https://www.mitls.org/ https://www.mitls.org/