formalverification

英 [fərmɒlverɪfɪ'keɪʃn] 美 [fərmɒlverɪfɪ'keɪʃn]

• 形式验证