Formal Analysis of a Proof-of-Stake Blockchain.

Wai Yan Maung Maung Thin Naipeng Dong Guangdong Bai Jin Song Dong

Published in: ICECCS (2018)

Keyphrases

formal analysis
agent model
formal methods
ban logic
theorem proving
peer to peer
theorem prover
neural network
artificial intelligence
information systems