TRP公司++ 20篇文献引用(2004–2023) 软件作者： Hustadt，U.，Konev，B。 相关软件： NuSMV；SPASS；利维坦… 主要字段： 数学逻辑与基础（03-XX）；计算机科学（68-XX）；运筹学，数学规划（90-XX）…