基于Kripke结构的程序正确性证明

基于Kripke结构的程序正确性证明

林杰余建坤

Proof of program correctness based on Kripke structure

LIN Jie YU Jian-kun

计算机应用 . 2011, (05): 1425 -1427 . DOI: 10.3724/SP.J.1087.2011.01425