数理逻辑实验报告

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