简介：自人类诞生以来,我们就开始有意识、无意识地探索世界的奥秘。大自然的风雨雷电,宇宙的星辰移动,现象万千变换,且光怪陆离。在好奇心的驱使下,人们开始走上探索自然的漫长之路,并迫不及待地想了解这些现象之下,究竟隐藏着什么规律。给科学下一个完美无缺的定义稍有困难,这个人们一直在做且以后也会一直做下去的事情,可以归纳为探索规律。具体来说就是,探索自然界的规律,探索人类的规律,探索宇宙的规律,探索并发现一切表象之下的规律。
简介：在软件模型检测中,系统所对应的状态数会随着系统大小成指数级增长,即状态空间爆炸问题。为了研究近年来该问题的解决方法,按照系统综述的方法,归类整理近年来对近年来解决状态空间爆炸的方法,并对每类方法的应用、限制以及该领域的未来发展方向进行分析和总结。
科学之美——从大爆炸到数字时代
软件模型检测中状态爆炸问题的解决方法
