Verification of recursive Bitcoin contracts.
Massimo BartolettiStefano LandeMaurizio MurgiaRoberto ZuninoPublished in: CoRR (2020)
Keyphrases
- formal verification
- supply chain
- model checking
- credit card
- recursive queries
- verification method
- face verification
- recursive functions
- formal methods
- recursive algorithm
- moral hazard
- data sets
- false acceptance rate
- concurrent systems
- asynchronous circuits
- fraud detection
- inductive inference
- privacy preserving
- artificial intelligence
- information retrieval