A model of Solidity-style smart contracts in the theorem prover Agda.

Fahad F. Alhabardi Anton Setzer

Published in: AIBThings (2023)

Keyphrases

theorem prover
computational model
mathematical model
statistical model
probabilistic model
bayesian networks