Formal Analysis of IBC Protocol.

Qiuyang Wei Xufeng Zhao Xue-Yang Zhu Wenhui Zhang

Published in: ICNP (2023)

Keyphrases

formal analysis
ban logic
payment protocol
formal methods
agent model
databases
natural language