Go to ...

The Invisible Coin

Cryptocurrency and Fintech Industry News Stream

RSS Feed

January 16, 2018

bitcoin pr buzz. melonport

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