Model-Driven Smart Contract Development for Everyoneby@andreasmuelder
999 reads
999 reads

Model-Driven Smart Contract Development for Everyone

by Andreas Muelder5mDecember 2nd, 2019
Read on Terminal Reader
Read this story w/o Javascript
tldt arrow

Too Long; Didn't Read

YAKINDU Statechart Tools is a modeling environment for state machines for smart contract development. The tools to secure smart contracts are not yet mature enough to find all possible security flaws you need to find. Smart contract development is still too hard for non- Solidity experts to master. We use the open-source version of YAKindU Solidity Tools to model smart contracts as state machines. This way, you can test the model with the simulator and ultimately generate Solidity code out of it. The integrated simulation engine allows verifying the behavior of the model. And the smart contract. code is generated out of the. model with a single button -click.

Companies Mentioned

Mention Thumbnail
Mention Thumbnail
featured image - Model-Driven Smart Contract Development for Everyone
Andreas Muelder HackerNoon profile picture
Andreas Muelder

Andreas Muelder

@andreasmuelder

YAKINDU Tools developer

Learn More
LEARN MORE ABOUT @ANDREASMUELDER'S
EXPERTISE AND PLACE ON THE INTERNET.

Share Your Thoughts

About Author

Andreas Muelder HackerNoon profile picture
Andreas Muelder@andreasmuelder
YAKINDU Tools developer

TOPICS

THIS ARTICLE WAS FEATURED IN...

Permanent on Arweave
Read on Terminal Reader
Read this story in a terminal
 Terminal
Read this story w/o Javascript
Read this story w/o Javascript
 Lite
L O A D I N G
. . . comments & more!