【摘要】信息时代的发展,引领计算机软件应用深入到千家万户,各行各业。随着软件的应用领域迅速加大,规模急速扩张,软件安全性的要求也逐步提升,软件调试和维护的成本越来越高,软件的安全形势日渐严峻。基于逻辑推理的形式验证是提高软件可信程度的一种重要方法。进入21世纪来,国际国内对该方法的推广和工业应用进行了大量的研究与开发,本实验室(中科大一耶鲁高可信软件联合研究中心)在并行程序的验证方法和串行程序的验 […]

【摘要】随着互联网技术的发展和生活水平的提高，人们的家庭安防意识不断增强。智能监控系统以它远程实时监测家庭环境和自动控制家庭设备的能力越来越受到人们的重视，它的出现使得实时监测家庭情况，远程照顾老人和小孩以及宠物等成为可能。人们可以在工作或旅行之余，通过远程来了解家中状况，并能根据家中发生的异常情况及时做出相应的措施。目前，智能监控系统更新换代的速度非常快，功能也日趋多样化，但还普遍存在以下问题： […]