The creation of blockchain-based software applications requires today considerable
technical knowledge, particularly in software design and programming. This is regarded as a …

Smart contracts are an attractive target for attackers, as evidenced by a long history of
security incidents. A current limitation of smart contract verification tools is that they are not …

Blockchain-based applications are basically built on smart contracts, which are widely
different in regards of the encoded logic and the used standards. When talking about …

In recent years, blockchain technology has developed rapidly and has been widely used in
medical, financial, energy and other fields. However, in the process of practical application …

In residential microgrids, rooftop solar power generation is becoming increasingly common.
A new concept in electricity markets, such as peer-to-peer (P2P) auctions, is also emerging …

Smart contracts function like specialized computer programs on the blockchain. Many of
these contracts are on Ethereum, but sometimes these contracts have problems with …

Abstract Recently, Proof-of-Stake (PoS) consensus mechanisms have been widely adopted
by various blockchain platforms due to their superior performance and lower environmental …

We propose, a tool for the specification and verification of coordinated multiparty distributed
systems. Relying on finite-state machines (FSMs) where transition labels look like Hoare …

While ensuring the safety of smart contracts during the development stage is crucial,
formalizing natural language requirements for their verification can be challenging and time …

Blockchain-based distributed ledgers are widely adopted due to their decentralized, tamper-
resistant, and trustworthy characteristics. Smart contracts, defined digitally, automatically …