Services
Work
Company
Research
Contact us
Posts by Natalie Klaus
Verifying Linux's Rust Code: From Binder To Lean 4
By Natalie Klaus
August 5th, 2026
Read the full post
From Rust Code to Mathematical Proof: How We Verify Safety-Critical Rust
By Natalie Klaus
May 19th, 2026
Read the full post
Have critical software that has to be right? Let's talk.
Get in touch
10+
Years in formal methods
NASA & Boeing
Early heritage, before blockchain
Trusted
By leading blockchain foundations
