排序方式: 共有1条查询结果,搜索用时 31 毫秒
1
1.
一种基于规则化描述方法的验证技术 总被引:1,自引:1,他引:0
基于规则化描述方法已经在很多安全关键领域得到了应用,为了保证系统的安全性与可靠性,在系统投入使用之前必须进行验证。文章总结了目前采用的各种验证技术和工具,提出了一种能够检验文中给出的各种结构性错误的简单、高效、易于实现自动化的算法,并以皮带运输控制系统为实例进行了验证。 相似文献
1