管道 28篇文献引用（2002年至2017年） 软件作者： 萨加尔·查基；Rajamani，Sriram K。；雅各布·雷霍夫 相关软件： SLMC；旋风；PiDuce… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）