Limitations of the Finite State Verification Approach

• 论有穷状态验证方法的局限性