Diese Demo zeigt eine Lösung zur formalen Verifikation von in Solidity geschriebenen Smart Contracts, die mit dem th2 Automatisierungsframework implementiert wurde.
Wir wenden unseren Ansatz auf einen Smart Contract an, der das Management von ERC-721 nicht-fungiblen Token für den NFT-Marktplatz automatisiert, der auf der P8-Plattform gestartet wurde. P8 wurde von Yaala Labs entwickelt – einem Technologieunternehmen, das sich auf den Aufbau von geschäftskritischen Anwendungen für globale Finanzmärkte spezialisiert hat.
0:00 - Lernen Sie Exactpro kennen
0:50 - Demo zur formalen Verifikation von Smart Contracts mit dem th2 Automatisierungsframework
7:33 - Exactpros gezielte Praxis im Softwaretesting
Sehen Sie sich weitere Exactpro-Demos an, die auf der Consensus 2022 präsentiert wurden:
--
Exactpro ist ein führender unabhängiger Anbieter von Softwaretestdiensten für geschäftskritische Technologien, die die globalen Finanzmärkte unterstützen. Das Unternehmen hat Erfahrung mit Handels-, Clearing- und Abwicklungsplattformen, Marktüberwachungssystemen, Marktdaten-Systemen, Sicherheiten- und Risikomanagementsystemen sowie Infrastrukturen nach dem Handel. Exactpro bietet funktionale und nicht-funktionale Testdienste für Börsen, Clearinghäuser, Wertpapierverwahrstellen, Handelsregister, digitale Börsen, Zentralbanken, Broker, Technologieanbieter und Investmentbanken weltweit an. Mit Hauptsitz im Vereinigten Königreich beschäftigt Exactpro über 750 Mitarbeiter.
Folgen Sie uns auf