Esta demostración presenta una solución para la verificación formal de contratos inteligentes escritos en Solidity, implementada con el uso del marco de automatización th2.
Aplicamos nuestro enfoque a un contrato inteligente que automatiza la gestión de tokens no fungibles ERC-721 para el mercado NFT lanzado en la plataforma P8. P8 ha sido desarrollado por Yaala Labs, una empresa de tecnología especializada en la creación de aplicaciones críticas para los mercados financieros globales.
0:00 - Conoce Exactpro
0:50 - Demostración de Verificación Formal de Contratos Inteligentes con el Marco de Automatización th2
7:33 - Práctica Deliberada de Pruebas de Software de Exactpro
Mira más demostraciones de Exactpro presentadas en Consensus 2022:
--
Exactpro es un proveedor independiente líder de servicios de pruebas de software para tecnología crítica que sustenta los mercados financieros globales. La empresa tiene experiencia con plataformas de negociación, compensación y liquidación, sistemas de vigilancia del mercado, sistemas de datos de mercado, sistemas de gestión de colateral y riesgo, e infraestructuras post-negociación. Exactpro proporciona servicios de pruebas funcionales y no funcionales a bolsas, cámaras de compensación, depósitos de valores, repositorios de operaciones, intercambios digitales, bancos centrales, corredores, proveedores de tecnología y bancos de inversión en todo el mundo. Con sede en el Reino Unido, Exactpro emplea a más de 750 miembros del personal.
Síguenos en