Safety analysis of Bitcoin improvement proposals.

Emmanuelle Anceaume Thibaut Lajoie-Mazenc Romaric Ludinard Bruno Sericola

Published in: NCA (2016)

Keyphrases

safety analysis
control system
safety critical
nuclear power plant
symbolic model checking
fault model
orders of magnitude
fuzzy logic
user model
real valued
formal verification
reliability analysis