Andere Kunden interessierten sich auch für
![Schnelle und skalierbare Analyse von Smart Contracts]( "Schnelle und skalierbare Analyse von Smart Contracts")
Schnelle und skalierbare Analyse von Smart Contracts39,90 €![Analyse rapide et évolutive des contrats intelligents]( "Analyse rapide et évolutive des contrats intelligents")
Analyse rapide et évolutive des contrats intelligents26,99 €![Smart Contracts als Webservice]( "Smart Contracts als Webservice")
Smart Contracts als Webservice39,90 €![Machbarkeitsstudie zur Verwendung von Smart Contracts zur Realisierung komplexer Versicherungsprodukte]( "Machbarkeitsstudie zur Verwendung von Smart Contracts zur Realisierung komplexer Versicherungsprodukte")
Machbarkeitsstudie zur Verwendung von Smart Contracts zur Realisierung komplexer Versicherungsprodukte47,95 €![A Brief Introduction to Web3]( "A Brief Introduction to Web3")
A Brief Introduction to Web325,99 €![Das Potential der Blockchain-Technologie. Welche Anwendungsmöglichkeiten gibt es in der Industrie 4.0 und im Internet der Dinge?]( "Das Potential der Blockchain-Technologie. Welche Anwendungsmöglichkeiten gibt es in der Industrie 4.0 und im Internet der Dinge?")
Das Potential der Blockchain-Technologie. Welche Anwendungsmöglichkeiten gibt es in der Industrie 4.0 und im Internet der Dinge?42,95 €![Online Film Production in China Using Blockchain and Smart Contracts]( "Online Film Production in China Using Blockchain and Smart Contracts")
Online Film Production in China Using Blockchain and Smart Contracts117,99 €
Concebemos e implementamos um quadro rápido e escalável para os contratos inteligentes Ethereum. Fornece uma forma de codificar as propriedades personalizadas num contrato que será automaticamente verificado. O fuzzer toma um projecto de trufa como input, espoleta contratos e para cada contrato reporta cobertura, transbordos de inteiros, afirmações, qualquer violação de propriedades personalizadas e estatísticas sobre transacções falhadas/sucedidas para cada método. É configurável para ajustar a estratégia de fuzzer para um domínio específico. Relatamos padrões de referência testando-o em vários cenários, incluindo mais de 30k contratos do mundo real implantados na cadeia principal do Ethereum.