摘要：pat是新加坡国立开发的工具，需要的去官网下http://www.comp.nus.edu.sg/~pat/，学了一天，是个不错的自动机验证工具，感觉还不错啊。验证一个数是否为斐波那契数且为质数方法先验证是否为斐波那契数，然后再判断质数代码/*验证是否为 斐波那契数且是质数*/#define go... 阅读全文