估算验证时间
软件工程
2014-02-27 v1
摘要
本文分为四个部分：在第 (I) 节中，我解释了为何认为检测验证过程中的热点十分复杂，尤其是比开发粗糙软件时的检测更为复杂。在第 (II) 节中，我介绍了我认为主要影响验证性能的因素。在第 (III) 节中，我提出了一种寻找最具优化潜力的函数的方法。最后，在第 (IV) 节中，我得出了一些结论，并讨论了所提方案的优缺点。
引用
@article{arxiv.1402.6478,
title = {Estimating verification time},
author = {Pablo González de Aledo},
journal= {arXiv preprint arXiv:1402.6478},
year = {2014}
}