Follow @Openwall on Twitter for new release announcements and other news
[<prev] [next>] [thread-next>] [day] [month] [year] [list]
Date: Fri, 25 Oct 2019 13:43:57 +0300
From: Georgi Guninski <>
Subject: Formal verification of open source software

Are there success stories of formal verification of open source

IIRC there was kernel verified by the Isabelle prover.

>From experience, I am skeptical about bugs in provers
and had false proofs in CBMC and Coq (long ago).

PS: I am looking for remote job. Probably you don't I
want to sell out to the communist party of
People's Republic of China or the NORKs ;)

Powered by blists - more mailing lists

Please check out the Open Source Software Security Wiki, which is counterpart to this mailing list.

Confused about mailing lists and their use? Read about mailing lists on Wikipedia and check out these guidelines on proper formatting of your messages.