详细介绍putty的使用,包含自己的体验心得。

ACL2012机器翻译的相关文章，还不错，共享一下。

详细介绍witness的使用，更加好好地学习仿真技术。