Login / Signup
An Ethereum-compatible blockchain that explicates and ensures design-level safety properties for smart contracts.
Nikolaj Bjørner
Shuo Chen
Yang Chen
Zhongxin Guo
Peng Liu
Nanqing Luo
Published in:
CoRR (2023)
Keyphrases
</>
optimal design
bayesian networks
low level
knowledge based systems
building blocks
structural properties
machine learning
computer vision
data structure
software engineering
user experience
engineering design
desirable properties