FSolidM Design Studio for Ethereum Smart Contracts

FSolidM is a framework rooted in rigorous semantics for designing contracts as Finite State Machines (FSM) on an easy-to-use graphical interface and for automatically generating Ethereum contracts. Integrated in FSolidM is a set of design patterns, implemented as plugins that developers can easily add to their contracts to enhance security and functionality.

FSolidM Design Studio for Ethereum Smart Contracts

IMPORTANT!

Before running the studio, you must first be logged into CPS-VO. If you have no account, you can create one here.

Launch

Links

Paper: http://amavridou.com/papers/mavridou2019Verisolid.pdf
Open Source Code: https://github.com/anmavrid/smart-contracts
Designing Secure Ethereum Smart Contracts with FSolidM: http://amavridou.com/presentations/mavridou2018designing-slides.pdf
The Blockchain: What it Is & Why it Matters: http://amavridou.com/papers/nashvilleBlockchain2018.pdf

Contacts

Anastasia Mavridou

Contributors

Aron Laszka
Abhishek Dubey
Emmanouela Stachtiari