CryptoTracker.pl - kursy kryptowalut logo CryptoTracker.pl - kursy kryptowalut logo
CryptoSlate 2019-06-05 14:22:43

Microsoft announces VeriSol: smart contract verification for Ethereum

Microsoft announced the development of an open-source formal Ethereum smart contract verification scheme for the Solidity programming language. Announced on the Microsoft blog, the tool will be called VeriSol–Verifier for Solidity. VeriSol will enable developers to write specifications for their contracts using an intermediate language that can then be tested using mathematical logic machinery. The Microsoft […]The post Microsoft announces VeriSol: smart contract verification for Ethereum appeared first on CryptoSlate.

Lesen Sie den Haftungsausschluss : Alle hierin bereitgestellten Inhalte unserer Website, Hyperlinks, zugehörige Anwendungen, Foren, Blogs, Social-Media-Konten und andere Plattformen („Website“) dienen ausschließlich Ihrer allgemeinen Information und werden aus Quellen Dritter bezogen. Wir geben keinerlei Garantien in Bezug auf unseren Inhalt, einschließlich, aber nicht beschränkt auf Genauigkeit und Aktualität. Kein Teil der Inhalte, die wir zur Verfügung stellen, stellt Finanzberatung, Rechtsberatung oder eine andere Form der Beratung dar, die für Ihr spezifisches Vertrauen zu irgendeinem Zweck bestimmt ist. Die Verwendung oder das Vertrauen in unsere Inhalte erfolgt ausschließlich auf eigenes Risiko und Ermessen. Sie sollten Ihre eigenen Untersuchungen durchführen, unsere Inhalte prüfen, analysieren und überprüfen, bevor Sie sich darauf verlassen. Der Handel ist eine sehr riskante Aktivität, die zu erheblichen Verlusten führen kann. Konsultieren Sie daher Ihren Finanzberater, bevor Sie eine Entscheidung treffen. Kein Inhalt unserer Website ist als Aufforderung oder Angebot zu verstehen