Reconfigurable Smart Contracts for Renewable Energy Exchange with Re-Use of Verification Rules

Smart contracts constitute the foundation for blockchain distributed applications. These constructs enable transactions in trustless environments using consensus algorithms and software-controlled verification rules. In the current state of the art, there is a shortage of works on the adaptability o...

Full description

Bibliographic Details
Published in:	Applied Sciences
Main Author:	Tomasz Górski
Format:	Article
Language:	English
Published:	MDPI AG 2022-05-01
Subjects:	smart contract verification rule object-oriented programming design pattern
Online Access:	https://www.mdpi.com/2076-3417/12/11/5339

Similar Items

Smart Contract Design Pattern for Processing Logically Coherent Transaction Types
by: Tomasz Górski
Published: (2024-03-01)

SmarTS: A Java package for smart contract test suite generation and execution
by: Tomasz Górski
Published: (2024-05-01)

Pattern-Based Test Suite Reduction Method for Smart Contracts
by: Tomasz Górski
Published: (2025-01-01)

State-of-the-art survey of smart contract verification based on formal methods
by: Wenbo ZHANG, et al.
Published: (2022-08-01)

Ethereum Smart Contracts Under Scrutiny: A Survey of Security Verification Tools, Techniques, and Challenges
by: Mounira Kezadri Hamiaz, et al.
Published: (2025-06-01)

Automated Runtime Verification of Security for E-Commerce Smart Contracts
by: Yang Liu, et al.
Published: (2025-04-01)

A Formal Modeling and Verification Method for Token Smart Contract
by: OUYANG Hengyi, XIONG Yan, HUANG Wenchao
Published: (2020-10-01)

A formal verification approach for composite smart contracts security using FSM
by: Mouhamad Almakhour, et al.
Published: (2023-01-01)

An application layer with protocol-based java smart contract verification
by: Luca Olivieri, et al.
Published: (2025-09-01)

A Secure Smart Contract Generation Method Based on Timed Automata
by: Yang LIU, Shengjie ZHANG
Published: (2023-09-01)

Provenance Verification of Smart Contracts: Analysing the Cost of Ensuring Authenticity over the Logic Hosted in Blockchain Networks
by: Marisol García-Valls, et al.
Published: (2023-12-01)

Reliable Task Management Based on a Smart Contract for Runtime Verification of Sensing and Actuating Tasks in IoT Environments
by: Lei Hang, et al.
Published: (2020-02-01)

Runtime verification of programs using rule-based active system
by: Seyed Morteza Babamir
Published: (2012-01-01)

Formal Specification and Verification of Smart Contract-Based Loan Management System Using TLA+
by: Seongho Yoon, et al.
Published: (2025-01-01)

Research on Smart Contract Verification and Generation Method Based on BPMN
by: Jun Jin, et al.
Published: (2024-07-01)

Dynamic Verification of an Object-Rule Knowledge Base Using Colored Petri Nets
by: Chakib Tadj, et al.
Published: (2006-06-01)

Formal Verification of ERC-Based Smart Contracts: A Systematic Literature Review
by: Rim Ben Fekih, et al.
Published: (2025-01-01)

Blockchain-enhanced smart contracts for formal verification of IoT access control mechanisms
by: Zhifeng Guo
Published: (2025-04-01)

Smart Contract Broker: Improving Smart Contract Reusability in a Blockchain Environment
by: Joonseok Park, et al.
Published: (2023-07-01)

TDLearning: Trusted Distributed Collaborative Learning Based on Blockchain Smart Contracts
by: Jing Liu, et al.
Published: (2023-12-01)

Belief game: Verifying smart contract functionality in player dynamic interactions
by: Xu Liu, et al.
Published: (2024-12-01)

Smart-Contract Aware Ethereum and Client-Fog-Cloud Healthcare System
by: Abdullah Lakhan, et al.
Published: (2021-06-01)

Smart contract life-cycle management: an engineering framework for the generation of robust and verifiable smart contracts
by: Iqra Mustafa, et al.
Published: (2024-01-01)

Rule-based design verification for mechanical parts with dynamic rule subset selection
by: Hyeonji Lee, et al.
Published: (2025-05-01)

Review: Verification Process of Academic Certificates Using Blockchain Technology.
by: Abdulkareem kareem, et al.
Published: (2023-03-01)

Semantic Consistency and Correctness Verification of Digital Traffic Rules
by: Lei Wan, et al.
Published: (2024-02-01)

A multicenter study for establishment and evaluation of auto-verification rules for routine coagulation tests
by: Linzi Miao, et al.
Published: (2022-01-01)

A comparative study of the legal requirements for designing digital smart contracts In Iranian and French law
by: Mojtaba Dehghani Tafti, et al.
Published: (2022-10-01)

Multi-microgrid marketized transaction models and algorithms based on smart contracts
by: Fen LI, et al.
Published: (2020-08-01)

Research on Electric Power Data Verification and Traceability Method Based on Blockchain Technology
by: Da LI, et al.
Published: (2023-05-01)

Smart Contracts: Tales of Trust and Certainty
by: Eliza Mik
Published: (2022-10-01)

Multi-objective test selection of smart contract and blockchain applications
by: Bader Alkhazi, et al.
Published: (2023-10-01)

LEGAL ISSUES FACED BY SMART CONTRACTS FROM THE PERSPECTIVE OF CONVENTIONAL CONTRACTS
by: Ghassan Adhab Atiyah, et al.
Published: (2025-01-01)

Access Control Verification in Smart Contracts Using Colored Petri Nets
by: Issam Al-Azzoni, et al.
Published: (2024-10-01)

Design and implementation of conclusion procedure in smart legal contracts based on negotiation and acceptance
by: Qian GUO, et al.
Published: (2022-12-01)

A New Look at the Rule of Compliance of Stipulations with the Contract Regarding the Basic Requirements for Validity Based on the Rule of Eghtefar
by: Sahar Karimi, et al.
Published: (2024-08-01)

A TECHNICAL REVIEW ON SMART CONTRACT PLATFORMS, LANGUAGES AND APPLICATIONS IN BLOCKCHAIN
by: Gopal Krishan Prajapat, et al.
Published: (2025-03-01)

Standard form contracts and a smart contract future
by: Kristin B. Cornelius
Published: (2018-05-01)

Achieving reliable and anti-collusive outsourcing computation and verification based on blockchain in 5G-enabled IoT
by: Linjie Wang, et al.
Published: (2022-10-01)

Upgradeable diamond smart contracts in decentralized autonomous organizations
by: Paul van Vulpen, et al.
Published: (2024-12-01)