Author: Patrick MacKay

Categories

All ArticlesAuditsKERCxNewsSmart ContractsVerification
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
Audits by formal methods experts.
Mission and VisionPresentationsCareersNewsPublicationsPartnershipsMedia KitEvents