克莱

此软件的关键字
zbMATH参考文献(42篇文章引用)
Bayless,Sam;Kodirov,Nodir;Iqbal,Syed M.;Beschatnikh,Ivan;Hoos,Holger H.;Hu,Alan J.:基于可伸缩约束的虚拟数据中心分配(2020年) Garzella,Jack J.;Baranowski,Marek;He,Shaobo;Rakamarić,Zvonimir:利用编译器中间表示进行多语言和跨语言验证(2020年) Hajdu,Ákos;Micskei,Zoltán:基于CEGAR的模型检查的有效策略(2020年) 伊什·沙洛姆,奥伦;伊扎基,沙查尔;曼尼维奇,罗曼;里涅茨基,诺姆:利用静态分析帮助学习字符串操作程序的伪逆,以自动生成测试(2020年) Amadini,Roberto;Andrlon,Mak;Gange,Graeme;Schachte,Peter;Søndergaard,Harald;Stuckey,Peter J.:JavaScript动态符号执行的约束编程(2019) Wang,Wenxi;Søndergaard,Harald;Stuckey,Peter J.:Wombit:使用词级传播的投资组合位向量解算器(2019年) Sung Chungha Sung,Brandon Paulsen,Chao Wang:CANAL:通过LLVM转换的缓存时间分析框架(2018) 第十四章 Godefrod,Patrice;Sen,Koushik:结合模型检查和测试(2018) Gupta,Shubhani;Saxena,Aseem;Mahajan,Anmol;Bansal,Sorav:通过不变草图绘制和查询分解有效地使用SMT解算器进行程序等价性检查(2018年) 劳科,亨里希;罗凯,佩特;巴纳特,吉ří:通过程序转换的符号计算(2018) Hutter,Frank;Lindauer,Marius;Balint,Adrian;Bayless,Sam;Hoos,Holger;Leyton Brown,Kevin:可配置SAT解算器挑战赛(CSSC)(2017) Knoop,Jens;Kovács,Laura;Zwirchmayr,Jakob:用积极的知识取代猜想:使用符号执行推断经证实的最坏情况下的精确执行时限(2017) Lampropoulos,Leonidas;Galois Wong,Diane;Hriţcu,Cătălin;Hughes,John;Pierce,Benjamin C.;Xia,Li yao:《初学者的运气:基于财产的发电机的语言》(2017) Lucanu,Dorel;Rusu,Vlad;Arusoaie,Andrei:《符号执行的一般框架:一种共同归纳法》(2017) Rocha,Camilo;Meseguer,José;Muñoz,César:重写模块SMT和开放系统分析(2017) Rusu,Vlad;Arusoaie,Andrei:在Maude执行和验证高阶功能命令程序(2017) Schrammel,Peter;Krooning,Daniel;Brain,Martin;Martins,Ruben;Teige,Tino;Bienmüller,Tom:嵌入式软件的增量有界模型检查(2017) Thomas Ströder;Giesl,Jürgen;Brockschmidt,Marc;Frohn,Florian;Fuhs,Carsten;Hensel,Jera;Schneider Kamp,Peter;Ascherman,Cornelius:自动证明指针算法程序的终止和内存安全(2017) Zheng,Yunhui;Ganesh,Vijay;Subramanian,Sanu;Tripp,Omer;Berzish,Murphy;Dolby,Julian;Zhang,Xiangyu:Z3str2:字符串、正则表达式和长度约束的有效解算器(2017) 动态漏洞检测工具:Jin-Jun He,2016;taint-War-Tain软件;DDU-Zou ioport公司