Archetype language
Language dedicated to smart contract definition and specification
The archetype language is a DSL to define smart contracts. This section presents the main features of the language.
The language provides the basic contract features to:
  • exchange currency between accounts
  • define data and collection of assets
  • formalise contract properties (as state machine and/or as logical properties)
Export as PDF
Copy link
Edit on GitHub