找人：懂nusmv的童鞋请帮助我；或者谁认识张治国教授组的张军林学长

ahahabingo

本人现在在研究xSAP,了解到是由nusmv扩展来的，现在遇到一些使用问题，不知道如何解决，谁懂nusmv，或者谁使用过啊？急求解答
看到一篇论文《NuSMV模型验证器实现分析》是由张治国教授组的张军林学长写的,但是学长2010年已经毕业，谁认识啊，有联系方式么？或者张教授组的其他用过这个工具的同学可否提供一些帮助？蟹蟹