Sbuilder Ethereum Example

Introduction

This post presents an example using Ethereum Solidity language withdrawal pattern to demonstrate, how tla-sbuilder with sbuilder-ethererum plugin can be used to check for implementation correctness.

For an overview of sbuilder-ethereum refer to Sbuilder Ethereum Announcement blog entry.

:More:

Advertisements