Program model checking

英 美
  • 程序模型检查
  • checking n.校核;检验;核算;验算动词check的现在分词形式.
  • model n.模范;模特儿;模型adj.模范的;作模型用的v.做模型;模仿;塑造
  • program n.节目;计划;程序;课程;节目单vt.编制程序;安排;指定