状态爆炸相关论文
模型检验是一种基于对系统的状态空间进行穷举搜索的自动验证技术。对并发和实时系统进行模型检验时,状态数目往往随着并发分量和......
形式化验证已经成为对系统设计和协议设计进行确认的重要手段,其方法分为两类,一类是以逻辑推理为基础,另一类则以穷尽搜索为基础,......
随着计算机软硬件系统规模的日益复杂化、重要化，如何保证计算机系统的正确性和可靠性，逐渐成为当前理论界和产业界共同关心的重要问......
在分布式并发系统构造过程中,基于进程代数的并发系统模型检测是一种行之有效的减少设计错误、提高系统可靠性的重要途径。但并发......
软件复用是在软件开发中避免重复劳动的解决方案。通过软件复用,可以提高软件开发的效率和质量。依据复用的对象,可以将软件复用分......
计算机软硬件系统日益复杂,其正确性和可靠性已成为计算机领域中研究的热点,在诸多方法和理论中,模型检测以其简洁明了和自动化程......
随着计算机技术的不断发展,计算机软硬件系统已经深入渗透到实际生活中的各个领域,若这些系统一旦出错,将给人类带来不可承受的损......
近年来,随着信息技术的飞速发展,人们对软件安全要求越来越高。混合执行是一种有效提高测试自动化程度的软件测试技术,其目标是通......
