形式化验证技术相关论文
伴随着网络和通信的迅速发展,安全已经成为一个备受关注的问题,为确保不同系统的安全,出现了许多的安全协议.文中描述了安全协议验......
在计算机科学和软件工程领域,软件工程师采用软件测试的方法来验证计算机软硬件系统的正确性,这样的测试虽属于常规方式,但有时耗......
调查研究了LSC在形式化验证方法中的作用的研究发展现状，包括LSC在从系统行为需求描述转换形成模型检验的系统行为模型中的作用的研......
