A verificação em tempo de execução utiliza métodos formais para realizar auditorias de segurança em máquinas virtuais e contratos inteligentes em blockchains públicos. Também oferece testes de software, serviços de verificação e produtos para melhorar a segurança, confiabilidade e correção de sistemas de software no espaço blockchain.