Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: A Survey of Smart Contract Formal Specification and Verification   A smart contract is a computer program which allows users to automate their
actions on the blockchain platform. Given the significance of smart contracts
in supporting important activities across industry sectors including supply
chain, finance, legal and medical services, there is a strong demand for
verification and validation techniques. Yet, the vast majority of smart
contracts lack any kind of formal specification, which is essential for
establishing their correctness. In this survey, we investigate formal models
and specifications of smart contracts presented in the literature and present a
systematic overview in order to understand the common trends. We also discuss
the current approaches used in verifying such property specifications and
identify gaps with the hope to recognize promising directions for future work.

34
The categories of this paper are: chem-ph
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
28
The categories of this paper are: alg-geom
35
The categories of this paper are: mtrl-th
29
The categories of this paper are: funct-an
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
13
The categories of this paper are: quant-ph
8
The categories of this paper are: hep-ex
15
The categories of this paper are: nucl-ex
21
The categories of this paper are: adap-org
26
The categories of this paper are: bayes-an
17
The categories of this paper are: q-fin
2
The categories of this paper are: math
24
The categories of this paper are: dg-ga