电脑体验，效果更佳

PROMELA图谱-计算机领域：

研究人员

缪力 张大方 王大伟

相关术语

模型检测 模型提取 形式化方法 ANSI-C

PROMELA-兴趣云标签

周志远张大方闵应骅刘震蒋曹清