Go to ...

The Invisible Coin

Cryptocurrency and Fintech Industry News Stream

RSS Feed

July 18, 2018


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