CBMC公司

此软件的关键字
zbMATH参考文献(参考
77篇文章
Alessandro Abate;Iury Bessa;Cordeiro,Lucas;David,Cristina;Kesseli,Pascal;Kroneing,Daniel;Elizabeth Polgreen:连续装置可证明安全数字控制器的自动形式综合(2020年) Semenov,Alexander;Otpuschennikov,Ilya;Gribanova,Irina;Zaikin,Oleg;Kochemazov,Stepan:将离散函数的算法描述翻译成SAT及其在密码分析问题中的应用(2020年) Tellez,Gadi;Brotherston,James:用循环证明自动验证指针程序的时间属性(2020) 王蒙,田,丛,张,南,段,振华,姚晨光:将Xd-C程序翻译成MSVL程序(2020) Bouajjani,Ahmed;Enea,Constantin;Lahiri,Shuvendu K.:演化并发程序的抽象语义差异(2019) Beyer,Dirk;Dangl,Matthias;Wendler,Philipp:基于SMT的软件验证的统一观点(2018) Beyer,Dirk;Gulwani,Sumit;Schmidt,David A.:结合模型检查和数据流分析(2018) Biere,Armin;Kröning,Daniel:基于SAT的模型检查(2018) Cao,Qinxiang;Beringer,Lennart;Gruetter,Samuel;Dodds,Josiah;Appel,Andrew W.:VST Floyd:验证C程序正确性的分离逻辑工具(2018) Chaves,Lennon;Bessa,Iury;Cordeiro,Lucas;Kroneing,Daniel:DSValidator:数字系统的自动反例再现性工具(2018) Guthmuller,Marion;Corona,Gabriel;Quinson,Martin:遗留分布式应用程序正式动态验证的系统级状态平等检测(2018) Kurshan,Robert P.:模型检验向工业实践的转移(2018) 劳科,亨里希;罗凯,佩特;巴纳特,吉ří:通过程序转换的符号计算(2018) 杨凯;段振华;田聪;张楠:MSVL编译器及其应用(2018) 2017年Brazeo和Brazeo项目;Brand effect;Brand effect Büscher,Niklas;Franz,Martin;Holzer,Andreas;Veith,Helmut;Katzenbeisser,Stefan:关于编译为安全多方计算优化的布尔电路(2017) ýerný,Pavol;Clarke,Edmund M.;Henzinger,Thomas A.;Radhakrishna,Arjun;Ryzhyk,Leonid;Samanta,Roopsha;Tarrach,Thorsten:使用同步合成从非抢占到抢占调度(2017) Chakraborty,Supratik;Gupta,Ashutosh;Jain,Rahul:位向量公式中的匹配乘法(2017) Chihani,Zakaria;Marre,Bruno;Bobot,François;Bardin,Sébastien:位向量理论的约束编程方法(2017) Demyanova,Yulia;Pani,Thomas;Veith,Helmut;Zuleger,Florian:验证工具基准的经验软件度量(2017)