Automated Verification of Electrum Wallet.
Mathieu TuruaniThomas VoegtlinMichaël RusinowitchPublished in: Financial Cryptography Workshops (2016)
Keyphrases
- automated verification
- model checking
- automated reasoning
- formal verification
- temporal logic
- graph theory
- knowledge representation
- theorem prover
- machine learning
- probabilistic reasoning
- theorem proving
- bayesian networks
- distributed systems
- constraint satisfaction problems
- probabilistic model
- graphical models
- data mining