Services
Work
Company
Research
Contact us
Posts by Yale Vinson
Kontrol 101
By Yale Vinson
March 28th, 2024
Read the full post
Runtime Verification Launches a Registered Algorand Relay Node
By Musab Alturki
August 22nd, 2023
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
