This demo showcases a solution for the formal verification of smart contracts written in Solidity, implemented with the use of the th2 automation framework.
We apply our approach to a smart contract which automates ERC-721 non-fungible token management for the NFT marketplace launched on the P8 platform. P8 has been developed by Yaala Labs – a technology firm specialising in building mission-critical applications for global financial markets.
0:00 - Meet Exactpro
0:50 - Formal Verification of Smart Contracts with the th2 Automation Framework Demo
7:33 - Exactpro's Deliberate Practice of Software Testing
Watch more Exactpro demos displayed at Consensus 2022:
th2 Implementation for Reconciliation Testing of the P8 Marketplace Platform by Yaala Labs – [ Ссылка ]
P8 NFT Marketplace Functional Testing with the th2 Automation Framework – [ Ссылка ]
CBDC Sandbox Testing – [ Ссылка ]
--
Exactpro is a leading independent provider of software testing services for mission-critical technology that underpins global financial markets. The firm is experienced with trading, clearing and settlement platforms, market surveillance systems, market data systems, collateral and risk management systems, and post trade infrastructures. Exactpro provides functional and non-functional testing services to exchanges, clearing houses, securities depositories, trade repositories, digital exchanges, central banks, brokers, technology vendors and investment banks worldwide. Headquartered in the UK, Exactpro employs over 750 members of staff.
To learn more about Exactpro, visit our website [ Ссылка ]
EXTENT Conference website: [ Ссылка ]
Follow us on
LinkedIn [ Ссылка ]
Twitter [ Ссылка ]
Facebook [ Ссылка ]
Instagram [ Ссылка ]
Subscribe to Exactpro YouTube channel [ Ссылка ]
