Patrick MacKay's Company Details
Chicago, Illinois, US • 34 Employees
Software
Runtime Verification, Inc., (RV) applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Runtime verification
Dynamic analysis
Program validation and verification
Programming languages
Formal smart contract verification