formalverification

英[fərmɒlverɪfɪ'keɪʃn] 美[fərmɒlverɪfɪ'keɪʃn]
  • 形式验证
  • check v.检查;阻止;核对;买单n.检查;阻碍;支票;账单;方格图案;(国际象棋)将军
  • formal adj.正式的;正规的;形式的;公开的;拘谨的;有条理的
  • model n.模范;模特儿;模型adj.模范的;作模型用的v.做模型;模仿;塑造