Login / Signup
SIM-P - A Simplified Consensus Protocol Simulator: Applications to Proof of Reputation-X and Proof of Contribution.
Damilare Peter Oyinloye
Je Sen Teh
Norziana Jamil
Jiashen Teh
Published in:
IEEE Internet Things J. (2023)
Keyphrases
</>
formal proof
theorem prover
linear logic
neural network
clustering algorithm
lightweight
theorem proving
mathematical proofs