Category: Verification
Formal Verification of Ethereum 2.0 Deposit Contract (Part I)
By Daejun ParkJune 12th, 2019
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.
