Model of software approximate correctness under ε-bisimulation
MA Yanfang1,2, CHEN Liang3
1.School of Computer Science and Technology, Huaibei Normal University, Huaibei, Anhui 235000, China
2.Shanghai Key Laboratory of Trustworthy Computing, Shanghai 200062, China
3.School of Mathematical Sciences, Huaibei Normal University, Huaibei, Anhui 235000, China
MA Yanfang1,2, CHEN Liang3. Model of software approximate correctness under ε-bisimulation[J]. Computer Engineering and Applications, 2013, 49(11): 15-19.