科技发展日新月异电子产品也在不断地更新换代产品中难免要出现不同程度的BUG这就需要工程师对软硬件不断的升级因为升级硬件的开销巨大所以升级产品主要集中在对软件的查漏补缺上面现在芯片的集成度也是越来越高从双列直插到贴片封装再到超小引脚贴片把主控芯片从系统板取下重新烧写程序已经不太现实那么既要对芯片重编程又要保证芯片系统板不被损坏同时还要方便可靠有什么好办法呢您首先想到的可能是ISPIn System Programming的确在系统编程的方法给人们带来了很大的方便但是使用它的同时您的系统板又必须加

本文档为我数理逻辑的实验报告，实验报告中有ispin的安装，promela语言，线性时序逻辑，线性实现逻辑实例，希望对初学时序逻辑的同学带来一定的方便！

协议验证工具spin的官方可视化窗口工具，在gcc和spin环境下打开是一个蓝色的IDE