Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Distributed Runtime Verification of Metric Temporal Properties for
  Cross-Chain Protocols   Transactions involving multiple blockchains are implemented by cross-chain
protocols. These protocols are based on smart contracts, programs that run on
blockchains, executed by a network of computers. Because smart contracts can
automatically transfer ownership of cryptocurrencies, electronic securities,
and other valuable assets among untrusting parties, verifying the runtime
correctness of smart contracts is a problem of compelling practical interest.
Such verification is challenging since smart contract execution is
time-sensitive, and the clocks on different blockchains may not be perfectly
synchronized. This paper describes a method for runtime monitoring of
blockchain executions. First, we propose a generalized runtime verification
technique for verifying partially synchronous distributed computations for the
metric temporal logic (MTL) by exploiting bounded-skew clock synchronization.
Second, we introduce a progression-based formula rewriting scheme for
monitoring \MTL specifications which employ SMT solving techniques and report
experimental results.

3
The categories of this paper are: physics
9
The categories of this paper are: nlin
4
The categories of this paper are: cond-mat
33
The categories of this paper are: plasm-ph
30
The categories of this paper are: q-alg
0
The categories of this paper are: hep-ph
27
The categories of this paper are: comp-gas
6
The categories of this paper are: astro-ph
12
The categories of this paper are: nucl-th
18
The categories of this paper are: econ
32
The categories of this paper are: atom-ph
11
The categories of this paper are: hep-lat
16
The categories of this paper are: stat
10
The categories of this paper are: q-bio
36
The categories of this paper are: cmp-lg
14
The categories of this paper are: math-ph