薄片

此软件的关键字
zbMATH中的参考文献, 1标准件 )
Bohlender,Dimitri;Kowalewski,Stefan:利用Horn子句解决PLC软件的组合验证(2020) Garzella,Jack J.;Baranowski,Marek;He,Shaobo;Rakamarić,Zvonimir:利用编译器中间表示进行多语言和跨语言验证(2020年) Beyer,Dirk;Dangl,Matthias;Wendler,Philipp:基于SMT的软件验证的统一观点(2018) Sung Chungha Sung,Brandon Paulsen,Chao Wang:CANAL:通过LLVM转换的缓存时间分析框架(2018) 阿尔十四 Kiefer,Moritz;Klebanov,Vladimir;Ulbrich,Mattias:使用编译器IR进行关系程序推理(2018) Wang,Wei;Barrett,Clark;Wies,Thomas:用于程序分析的分区内存模型(2017) Saarikivi,Olli;Heljanko,Keijo:LCTD:LLVM上C程序的测试引导证明(2016) Rakamarić,Zvonimir;Emmi,Michael:SMACK:将源语言细节与验证器实现分离(2014) ioport公司