混成论文

并发系统的形式化技术研究
论文摘要随着计算机技术在尖端领域的应用,为了提高系统的安全性与可靠性,形式化方法得到长足的发展,也出现了许多优秀的形式化工具,例如,B、VDM、Z语言,还有诸如Petri网、C...