Posts by Paul Len

On The Limitations of Audit Competitions

By Paul LenAugust 27th, 2024

Read the full post

Have critical software that has to be right? Let's talk.

10+: Years in formal methods
NASA & Boeing: Early heritage, before blockchain
Trusted: By leading blockchain foundations