We introduce Gillian, a platform for developing symbolic analysis tools for programming
languages. Here, we focus on the symbolic execution engine at the heart of Gillian, which is …

One important promise of the blockchain technology is the concept of smart contracts. They
offer means for the secure execution of procedures that no entity can manipulate. This …

One of the key challenges in the collaboration within heterogeneous multi-robot systems is
the optimization of the amount and type of data to be shared between robots with different …

Blockchain is a platform of distributed elaboration, which allows users to provide software for
a huge range of next‐generation decentralized applications without involving reliable third …

Smart contract has shown its potential in cutting down the cost of administration through
reshaping conventional business processes and in expanding the application of blockchain …

Matching logic is a logic for specifying and reasoning about structure by means of patterns
and pattern matching. This paper makes two contributions. First, it proposes a sound and …

In this paper, we describe the formal verification of Smart Contracts offered as part of the
Azure Blockchain Content and Samples on github. We describe two sources of formal …

Mobile edge computing (MEC) and next-generation mobile networks are set to disrupt the
way intelligent and autonomous systems are interconnected. This will have an effect on a …

Smart contracts increasingly cause attention for its ability to widen blockchain's application
scope. However, the security of contracts is vital to its wide deployment. In this article, we …

The blockchain is nothing but a skilled magician one after one it is providing the mankind
with wonders in the era of information technology and financial industry. In recent years …