基于模型检测的审计方法逻辑正确性验证

基于模型检测的审计方法逻辑正确性验证

李雅, 黄少滨, 关晓康, 李艳梅, 朱璧如

Verification of Logical Correctness of Audit Methods Based on Model Checking

LI Ya, HUANG Shaobin, GUAN Xiaokang, LI Yanmei, ZHU Biru

吉林大学学报(理学版) . 2017, (05): 1261 -1268 .