拖把
此软件的关键字
zbMATH中的参考文献（参考文献 23条 )
布埃诺，丹尼斯； Sakallah，Karem A.：EUFORIA:使用非预期功能完成软件模型检查（2019年） 韦内特，亚历山大； Zimmermann，Martin:可见线性动态逻辑（2018） 库普费尔曼，奥尔纳； 皮特曼，近红外； Vardi，Moshe Y:无限状态系统的自动机理论方法（2010） 林德克内赫特，基督徒； Volanschi，Nic:元计算的非解析模式的理论与实践（2010） 阿曼多，亚历山德罗； 曼托瓦尼，雅各布； Platania，Lorenzo:使用SMT解算器而不是SAT解算器的软件有界模型检查（2009） ioport公司 劳拉·博泽利：《与可遗忘的过去的爱抚》（2009） 居尔伊尔，居尔坎； 范登伯格，克拉斯； 伯格曼，洛德维克； Akşit，Mehmet:事件驱动系统中源代码验证和转换工具的实验评估（2009） ioport公司 施利希，巴斯蒂安； Kowalewski，Stefan:嵌入式系统的模型检查C源代码（2009） ioport公司 锡兰语； Debbabi，Mourad:C代码内存和类型安全的过程间和流敏感类型分析（2009） 克里斯汀·斯卡尔卡：面向对象的类型和跟踪效果（2008） 斯卡尔卡，基督徒； 史密斯，斯科特； 范霍恩，大卫：高阶程序的类型和跟踪效应（2008） 乌德里亚，屋大维语； 鲁梅扎努，克里斯蒂安； Foster，Jeffrey S.：基于规则的网络协议实现静态分析（2008） Volanschi，Eugen Nicolae:一种可移植的编译器集成方法来进行永久性检查。 （2008年） ioport公司 Volanschi，Nic:一种可移植编译器集成的永久性检查方法（2008） ioport公司 拜尔，德克； 亨辛格，托马斯A。； 贾拉，兰吉特； Majumdar，Rupak:软件模型检查器blast（2007） ioport公司 阿曼多，亚历山德罗； 曼托瓦尼，雅各布； Platania，Lorenzo:使用SMT解算器而不是SAT解算器的软件有界模型检查（2006） 艾哈迈德·布瓦贾尼； Esparza，Javier:重写布尔程序模型（2006） 西迪罗格鲁，斯泰利奥斯； Keromitis，Angelos D.：防止软件故障的执行事务：使用和评估（2006） ioport公司 西迪罗格鲁，斯泰利奥斯； Keromitis，Angelos D.：防止软件故障的执行事务：使用和评估（2006） ioport公司 康威，克里斯托弗L。； 南乔希，基达尔S。； 戴姆斯，丹尼斯； Edwards，Stephen A.：安全特性过程间分析的增量算法（2005）