TY  - RPRT
TI  - An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts
AU  - Nikolaj Bjørner
AU  - Shuo Chen
AU  - Yang Chen
AU  - Zhongxin Guo
AU  - Peng Liu
AU  - Nanqing Luo
PY  - 2023
UR  - https://arxiv.org/abs/2304.08655
ID  - 2304.08655
ER  -