Go to ...

The Invisible Coin

Cryptocurrency and Fintech Industry News Stream

RSS Feed

July 18, 2018

smart contracts

Melonport Announces Official Beta Release of Oyente Smart Contracts Analysis and Verification Tool

Bitcoin Press Release: Blockchain powered asset management software, Melonport in partnership with Oyente announces the release of the smart contracts verification tool. June 19, 2017, Zug, Switzerland – Melonport AG in partnership with the Oyente development team is very proud to announce the beta release of Oyente, an open source analysis and formal verification tool