Author: Patrick MacKay

Runtime Verification goes multinational by opening Bucharest based subsidiary
Read MorePatrick MacKay
Runtime Verification Completes Initial Formal Verification of Ethereum Casper Protocol
Read MorePatrick MacKay