效果很不错。某些问题~~~haha

下面是进一步工作的指导:
1. Spin背后的理论支持。概念性的必须了解。

2. 完善Spin的介绍：并发性、随机性、同步机制。

3. 证明该验证程序可以处理实际系统中的下列情况：
    a. 主机方发送方和接收方同时存在的情况
    b. 多个主机相互通信的情况

4. 认真考虑实际模型的阻塞原因，对照真实系统。

我什么时候能回家??????????????????????????????????