SMV 符号验证的使用文档。SMV是很简单的基于CTL 逻辑的验证工具，本文档介绍了本工具的使用方法。