Chaussette: A Symbolic Verification of Bitcoin Scripts.

Vincent Jacquot Benoit Donnet

Published in: ESORICS Workshops (1) (2023)

Keyphrases

model checking
credit card
formal verification
connectionist learning
artificial intelligence
face verification
formal methods
website
high level
database systems
digital images