对spin和promela做了个简单总结,还有些简单例子