Posts by Patrick MacKay
Runtime Verification Completes Initial Formal Verification of Ethereum Casper Protocol
By Patrick MacKayNovember 27th, 2018
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
Runtime Verification goes multinational by opening Bucharest based subsidiary
By Patrick MacKayNovember 27th, 2018
Runtime Verification Inc applies formal methods to improve the safety, reliability, and correctness of computing systems for aerospace, automotive, and the blockchain.
