CIVL验证框架相关硕士博士期刊学术论文

操作系统作为计算机软件系统的核心部分,其正确性与可靠性等的保证一直以来都是学术界和工业界努力的方向,而操作系统中出现的大量......