首页
标签
transition-systems
将系统模型转换为转换系统以进行模型检查