constructive program verification

[constructive program verification]
[constructive program verification]

中文释义

[计] 结构程序验证

单词分析

单词结构:

constructive program verification

字母数:33

记忆提示

🎯 重点记忆:

  • 单词拼写:constructive program verification
  • 核心含义:[计] 结构程序验证