摘要： ##目的 目的1：看看一篇论文怎么写，绪论含那些内容？研究方法是什么？ 《基于模型的软件需求验证方法研究》 目的2：看看有没有和你的研究接近的，解决你的问题 Linux内核验证？ 需求验证？ Linux需求性质如何表示？都有哪些表示方法，你用的是哪种？ 模块级验证？ Linux内核，都有哪些模块级别 阅读全文