La verificación en tiempo de ejecución utiliza métodos formales para realizar auditorías de seguridad en máquinas virtuales y contratos inteligentes en cadenas de bloques públicas. También ofrece servicios de pruebas de software, verificación y productos para mejorar la seguridad, confiabilidad y corrección de los sistemas de software en el espacio de las cadenas de bloques.