Powered by OpenAIRE graph
Found an issue? Give us feedback
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/ ZENODOarrow_drop_down
image/svg+xml art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos Open Access logo, converted into svg, designed by PLoS. This version with transparent background. http://commons.wikimedia.org/wiki/File:Open_Access_logo_PLoS_white.svg art designer at PLoS, modified by Wikipedia users Nina, Beao, JakobVoss, and AnonMoos http://www.plos.org/
ZENODO
Software
Data sources: ZENODO
Zenodo
Claim

From Formal Symboleo Specifications to Secure and Interactive Smart Contract Code

integration_instructionsResearch softwarekeyboard_double_arrow_right Software Under curationPublisher:Zenodo
Authors: Alfuhaid, Sofana;

doi: 10.5281/zenodo.20126204

From Formal Symboleo Specifications to Secure and Interactive Smart Contract Code

Abstract

Complementary materials for the work that extends Symboleo2SC into SymboleoAC2SC, enabling the transformation of legal contract specifications with role-based access control policies into smart contracts. The xtext-generator module contains the Xtext grammar definition, the validation logic, and the code generation classes required to parse, validate, and generate artifacts from the domain-specific language (DSL).

Powered by OpenAIRE graph
Found an issue? Give us feedback