Money Grows on (Proof-)Trees: The Formal FA1.2 Ledger Standard.

Murdoch James Gabbay Arvid Jakobsson Kristina Sojakova

Published in: FMBC@CAV (2021)

Keyphrases

decision trees
computer vision
expert systems
theorem prover
formal specification
formal methods
tree models