Runtime Verification

Runtime Verification provides security services for smart contracts and protocols, including design reviews, code reviews, auditing, and formal verification, delivering thorough assessments of code and specifications.

It also develops and maintains security-focused tools, such as ERCx and Kontrol, to support formal analysis and verification work.