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)