基于抽取-精化的概率系统假设-保证验证

张君华1,黄志球2,肖芳雄3

Assumeguarantee verification of probabilistic systems
based on abstraction refinement

ZHANG Junhua1,HUANG Zhiqiu2,XIAO Fangxiong3

计算机工程与科学 . 2013, (3): 128 -133 .