Login / Signup

Mechanized Formal Model of Bitcoin's Blockchain Validation Procedures.

Kristijan RupicLovro RozicAnte Derek
Published in: FMBC@CAV (2020)
Keyphrases
  • formal model
  • credit card
  • security properties
  • formal models
  • predicate calculus