Bitcoin Trace-Net: Formal Contract Verification at Signing Time.
James ChiangPublished in: CoRR (2020)
Keyphrases
- signature verification
- formal methods
- formal analysis
- model checking
- formal model
- revenue sharing
- formal specification
- formal verification
- sign language
- credit card
- face verification
- verification method
- transaction costs
- formal representation
- genetic algorithm
- data mining techniques
- supply chain
- case study
- web services