Runtime Verification

We apply formal methods to improve the safety, reliability, and correctness of computing systems for auto, space, and blockchain.