栅栏

此软件的关键字
zbMATH中的参考文献(参考文献 19条 )
古普塔、奥尔蒂; 卡隆,维涅特; 卡迪尔,沙兹; Touili,Tayssir:模型检查并行程序(2018) 阿卜杜拉,帕罗什·阿齐兹; 阿罗尼斯,斯塔夫罗斯; 阿蒂格,Mohamed Faouzi; 强森,本特; 莱昂纳森,卡尔; Sagonas,Konstantinos:TSO和PSO的无状态模型检查(2017) 特拉夫金,奥列格; Wehrheim,Heike:弱内存模型上并发程序的验证(2016) 程,史蒂文; 你好,丽莎; Kawash,Jalal:分区一致性。 弱内存一致性系统建模及实现正确性的案例研究(2014) 马尔基斯,亚历山大; Banerjee,Anindya:软件壁垒验证中的自动化:经验报告(2014) 阿卜杜拉,帕罗什·阿齐兹; 阿蒂格,Mohamed Faouzi; 陈玉芳; 莱昂纳森,卡尔; Rezine,Ahmed:Memorax,TSO下自动围栏插入的精确且可靠的工具(2013) ioport公司 绿宝石,翡翠; 丹尼尔·克罗宁; 尼马尔,文森特; Tautschnig,Michael:通过程序转换实现弱内存的软件验证(2013) 多戈尔,布里耶什; 特拉夫金,奥列格; 德里克,约翰; Wehrheim,Heike:total store order memory下程序执行的高级语义(2013) 阿卜杜拉,帕罗什·阿齐兹; 阿蒂格,Mohamed Faouzi; 陈玉芳; 莱昂纳森,卡尔; Rezine,Ahmed:TSO下引导围栏插入的反例(2012年) 杜布罗文,乔里; 朱蒂拉,汤米; Heljanko,Keijo:利用step语义对异步系统进行有效的有界模型检查(2012) 艾哈迈德·布瓦贾尼; 迈耶,罗兰; Möhlmann,Eike:《根据商店总订单决定稳健性》(2011) 伯宁,雅博; 森,古实; Stergiou,Christos:放松记忆模型序列一致性的健全和完整监测(2011) 格雷奥伊,拉希德; 亨辛格,托马斯A。; Singh,Vasu:STM在放松记忆模型上的验证(2011) 王超; 昆都、苏迪普塔; 利马耶,里希克什; 马来语加奈语; Gupta,Aarti:并行程序的符号预测分析(2011) 格雷奥伊,拉希德; 亨辛格,托马斯A。; Singh,Vasu:模型检查事务性存储器(2010) 格雷奥伊,拉希德; 亨辛格,托马斯A。; Singh,Vasu:放松记忆模型上的软件事务性记忆(2009) 伯克哈特,塞巴斯蒂安; Musuvathi,Madanlal:放松记忆模型的有效程序验证(2008) 阿斯皮纳尔,大卫; 什耶夫契克,雅罗斯拉夫:正式化Java的无竞争保证(2007) 惠恩,岑匡; Roychoudhury,Abhik:内存模型敏感字节码验证(2007)