Bisimulation equivalence for polynomial program model
Jinzhao Wu · Journal of Beijing Jiaotong University · 2011
In allusion to the equivalence for behavior of program,the paper proposes bisimulation equivalence for polynomial program model.Bisimulation equivalence suits for software system design and verification which are described by algebraic program model.The paper defines the notion of bisimulation equivalence for polynomial program model,instaurates a symbolic calculation method for bisimulation equivalence,and selects a simple model to simplify procedure.It can also effectively alleviate the problem of formal verification method caused by state explosion that the computational procedure is too complex to implement.Finally,an example of the concurrent program is shown.