终极魔术师
zbMATH中的参考文献(引用于, 1标准件 )
Beyer,Dirk;Gulwani,Sumit;Schmidt,David A.:结合模型检查和数据流分析(2018) Hoenicke,Jochen;Schindler,Tanja:阵列理论的有效插值(2018) Daniel Dietsch;Heizmann,Matthias;Langenfeld,Vincent;Podelski,Andreas:《公平模理论:LTL软件模型检查的新方法》(2015) 艾米斯,埃夫伦;努茨,亚历山大;迪特施,丹尼尔;霍尼克,约琴;波德尔斯基,安德烈亚斯:终极考克斯。 (竞争贡献)(2014年) ioport公司