#申明： 本项目主要参考Mingsheng Ying与Yuan Feng老师出版的《model checing quantum systems》。本项目仅用于学习用途。