Smart contract certification: the why and how

Discover how IO is working with experts to accelerate a formal certification process


Simon Thompson / Nebojsa Vojvodic / Jean-Frédéric Etienne / John Hughes / Duncan Coutts

Formal standards for verification and methodologies can take years to create and the process of testing them needs a professional approach to prevent costly accidents. IO is working with leading experts – including QuviQ, Tweag, Runtime Verification, Well-Typed, and CertiK – to adopt a formal certification process based on proven best practices.