Cette démo présente une solution pour la vérification formelle des contrats intelligents écrits en Solidity, mise en œuvre grâce au cadre d'automatisation th2.
Nous appliquons notre approche à un contrat intelligent qui automatise la gestion des jetons non fongibles ERC-721 pour le marché NFT lancé sur la plateforme P8. P8 a été développé par Yaala Labs – une entreprise technologique spécialisée dans la création d'applications critiques pour les marchés financiers mondiaux.
0:00 - Présentation d'Exactpro
0:50 - Démo de la vérification formelle des contrats intelligents avec le cadre d'automatisation th2
7:33 - Pratique délibérée des tests logiciels par Exactpro
Regardez d'autres démos d'Exactpro présentées à Consensus 2022 :
--
Exactpro est un fournisseur indépendant de premier plan de services de test logiciel pour des technologies critiques qui soutiennent les marchés financiers mondiaux. L'entreprise est expérimentée dans les plateformes de trading, de compensation et de règlement, les systèmes de surveillance du marché, les systèmes de données de marché, les systèmes de gestion des garanties et des risques, et les infrastructures post-négociation. Exactpro fournit des services de tests fonctionnels et non fonctionnels aux bourses, chambres de compensation, dépôts de titres, dépôts de transactions, échanges numériques, banques centrales, courtiers, fournisseurs de technologie et banques d'investissement dans le monde entier. Basée au Royaume-Uni, Exactpro emploie plus de 750 membres du personnel.
Suivez-nous sur