Crowd Sourced Formal Verification-Augmentation (CSFV-A).

著录项

• 作者

  Guarino, S.; Eusebi, L.;

  展开▼
• 作者单位

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

  Computer program verification; Computer programs; Cs(crowd source); Software; Fv(formal verification); Csfv games; Crowd sourcing;

  机译：计算机程序验证;计算机程序; Cs（众包源）;软件; Fv（形式验证）; Csfv游戏;人群采购;