搜索筛选:
搜索耗时0.0397秒,为你在为你在61,042,059篇论文里面共找到 1 篇相符的论文内容
发布年度:
[期刊论文] 作者：全嘉辉,张欢欢,
来源：计算机工程 年份：2010
使用FeaVer对MINIX 3文件系统源代码进行形式化验证，并找到其中的错误代码。在验证的过程中引入测试用具的概念，它的特点是高效性和可复用性。在验证结果的基础上对原来的验证...
相关搜索：
