基于STP方法的SCADE模型形式化验证框架

检索

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

作者投稿和查稿主编审稿专家审稿编委审稿远程编辑

基于STP方法的SCADE模型形式化验证框架

林荣峰, 施健, 朱晏庆, 沈怡颹, 周宇

Formal Verification Framework of SCADE Model Based on STP Method

LIN Rongfeng, SHI Jian, ZHU Yanqing, SHEN Yiwei, ZHOU Yu

计算机工程 . 2019, (10): 70 -77 . DOI: 10.19678/j.issn.1000-3428.0054411