拖把

此软件的关键字
zbMATH参考文献(参考
23篇文章
Bueno,Denis;Sakallah,Karem A.:EUFORIA:使用非预期功能完成软件模型检查(2019年) 韦内特,亚历山大;齐默尔曼,马丁:可见线性动态逻辑(2018) Kupferman,Orna;Piterman,Nir;Vardi,Moshe Y:无限状态系统的自动机理论方法(2010) Rinderknecht,Christian;Volanschi,Nic:元计算的非解析模式的理论与实践(2010) Armando,Alessandro;Mantovani,Jacopo;Platania,Lorenzo:使用SMT解算器而不是SAT解算器的软件有界模型检查(2009) ioport公司 劳拉·博泽利:《与可遗忘的过去的爱抚》(2009) Güleşir,Gürcan;van den Berg,Klaas;Bergmans,Lodewijk;Akşit,Mehmet:事件驱动系统中源代码验证和转换工具的实验评估(2009) ioport公司 Schlich,Bastian;Kowalewski,Stefan:嵌入式系统的模型检查C源代码(2009) ioport公司 Tlili,Syrine;Debbabi,Mourad:C代码内存和类型安全的过程间和流敏感类型分析(2009) 克里斯汀·斯卡尔卡:面向对象的类型和跟踪效果(2008) Christian Skalka;Smith,Scott;van Horn,David:高阶程序的类型和跟踪效应(2008) Udrea,Octavian;Lumezanu,Cristian;Foster,Jeffrey S.:基于规则的网络协议实现静态分析(2008) Volanschi,Eugen Nicolae:一种可移植的编译器集成方法来进行永久性检查。 (2008年) ioport公司 Volanschi,Nic:一种可移植编译器集成的永久性检查方法(2008) ioport公司 Beyer,Dirk;Henzinger,Thomas A.;Jhala,Ranjit;Majumdar,Rupak:软件模型检查器blast(2007) ioport公司 Armando,Alessandro;Mantovani,Jacopo;Platania,Lorenzo:使用SMT解算器而不是SAT解算器的软件有界模型检查(2006) Bouajjani,Ahmed;Esparza,Javier:重写布尔程序模型(2006) Sidiroglou,Stelios;Keromitis,Angelos D.:防止软件故障的执行事务:使用和评估(2006) ioport公司 Sidiroglou,Stelios;Keromitis,Angelos D.:防止软件故障的执行事务:使用和评估(2006) ioport公司 Conway,Christopher L.;Namjoshi,Kedar S.;Dams,Dennis;Edwards,Stephen A.:安全特性过程间分析的增量算法(2005)