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 intelligents29,99 €![Smart Contracts als Webservice]( "Smart Contracts als Webservice")
Smart Contracts als Webservice39,90 €![Desenvolvimento de um sistema de comércio de energia da cadeia de Blockchain Ethereum]( "Desenvolvimento de um sistema de comércio de energia da cadeia de Blockchain Ethereum")
Desenvolvimento de um sistema de comércio de energia da cadeia de Blockchain Ethereum39,99 €![Monitorização de infra-estruturas de cidades inteligentes utilizando tecnologias LIDAR]( "Monitorização de infra-estruturas de cidades inteligentes utilizando tecnologias LIDAR")
Monitorização de infra-estruturas de cidades inteligentes utilizando tecnologias LIDAR53,99 €![Manual de Fontes de Referência Rápida para Cientistas e Tecnólogos]( "Manual de Fontes de Referência Rápida para Cientistas e Tecnólogos")
Manual de Fontes de Referência Rápida para Cientistas e Tecnólogos29,99 €![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 €
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.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.
Hinweis: Dieser Artikel kann nur an eine deutsche Lieferadresse ausgeliefert werden.