Abstract:
This article proposes a third-party verification of e-business system by using formal verification, especially model checking. The method and applying procedure for auditors to choose model checker are presented, a verification example is analyzed so as to illustrate the feasibility and completeness of the e-business assurance technique based on model-checking.
