金融监管要在创新和稳定之间取得平衡。
"Formal methods are not a silver bullet, but they are an essential tool in the quest for reliable systems."
每个细节都很重要,因为细节决定成败。