Published On: Tue, Jun 27th, 2017

Melonport AG Announces Beta Release of Oyente, a Smart Contracts Analysis, and Verification Tool

Share This
Tags

Blockchain startup Melonport AG has proudly partnered with the Oyente development team to announce the beta release of Oyente, an open source analysis and formal verification tool for Ethereum smart contracts.
The Oyente verification tool can be used for analyzing smart contracts that are created on Ethereum protocol using smart contracting languages such as Solidarity, LLL or Serpent.  The beta version of the tool also features capabilities that can come in handy for Melon protocol module developers.
The latest beta release of Oyente tool can be easily accessed at its respective link on the Melonport website. The tool’s original development was based on an academic paper released by National University of Singapore Ph.D. student Luu and his peers. Unfortunately, they were forced to put the project on hold after they ran out of funds. By then they had already prepared an initial open source release, covering over 80% of the EVM opcodes. Thankfully, it didn’t end there for the Oyente development team as Melonport later recognized it for its real worth.
The Melonport development team realized the tool’s potential to enable Ethereum developer community to create safe and secure decentralized application. Following Melonport& …

Read more –> click here all content is copyright Bitcoinist.

Need Bitcoin marketing and PR? Bitcoin PR Buzz has been proudly serving the PR and marketing needs of Bitcoin and digital currency tech start-ups for over 2 years. Get your own professional Bitcoin or cryptocurrency press release CLICK HERE..

Powered by ABITCO.IN

Leave a comment

XHTML: You can use these html tags: <a href="" title=""> <abbr title=""> <acronym title=""> <b> <blockquote cite=""> <cite> <code> <del datetime=""> <em> <i> <q cite=""> <strike> <strong>

ALL Bitcoin News

Like what you’re reading?

Never miss any breaking Bitcoin news by following us on Facebook and Twitter!


SUBSCRIBE OUR RSS FEED AT: http://abitco.in/feed

×