At last, the application of Property patterns of LTL formulas was given in SPIN tool.
最后介绍了线性时态逻辑特性模式在SPIN中的应用。
youdao
应用推荐
模块上移
模块下移
不移动