Esta demonstração apresenta uma solução para a verificação formal de contratos inteligentes escritos em Solidity, implementada com o uso do framework de automação th2.
Aplicamos nossa abordagem a um contrato inteligente que automatiza a gestão de tokens não fungíveis ERC-721 para o mercado NFT lançado na plataforma P8. A P8 foi desenvolvida pela Yaala Labs – uma empresa de tecnologia especializada em construir aplicações críticas para mercados financeiros globais.
0:00 - Conheça a Exactpro
0:50 - Demonstração de Verificação Formal de Contratos Inteligentes com o Framework de Automação th2
7:33 - Prática Deliberada de Testes de Software da Exactpro
Assista a mais demonstrações da Exactpro exibidas na Consensus 2022:
--
A Exactpro é um dos principais provedores independentes de serviços de testes de software para tecnologia crítica que sustenta os mercados financeiros globais. A empresa tem experiência com plataformas de negociação, compensação e liquidação, sistemas de vigilância de mercado, sistemas de dados de mercado, sistemas de gestão de colaterais e riscos, e infraestruturas pós-negociação. A Exactpro fornece serviços de testes funcionais e não funcionais para bolsas, câmaras de compensação, depósitos de valores mobiliários, repositórios de negociação, bolsas digitais, bancos centrais, corretores, fornecedores de tecnologia e bancos de investimento em todo o mundo. Com sede no Reino Unido, a Exactpro emprega mais de 750 colaboradores.
Siga-nos no