Certified Satisfiability Module Theories (SMT) Solving for System Verification.

著录项

• 作者

  Barrett, C.; Ekici, B.; Hadarean, L.; Katz, G.; Keller, C.; Mebsout, A.; Reynolds, A.; Tinelli, C.;

  展开▼
• 作者单位

  展开▼
• 年度 2017
• 页码 1-72
• 总页数 72
• 原文格式 PDF
• 正文语种 eng
• 中图分类
• 关键词

  System verifications;

  机译：系统验证;