托马斯·帕尼;乔治·威森巴赫;弗洛里安·祖勒格 参数化并发共享内存程序的可靠性保证界分析。通过应用证明非阻塞算法是有界无锁的。 (英语) Zbl 1522.68161号 形式方法系统。设计。 57,第2期,270-302(2021).MSC公司:68号30 68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{T.Pani}等人,《形式方法系统》。设计。57,编号270-302(2021;兹bl 1522.68161) 全文: DOI程序
扎卡里·贝纳维德斯;凯瓦尔·沃拉;拉吉夫·古普塔;张湘玉 注释引导的上下文相关并行执行配置文件的集合。 (英语) 兹比尔1425.68056 形式方法系统。设计。 54,第3期,388-415(2019).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{Z.Benavides}等人,《形式方法系统》。设计。54,编号3,388--415(2019;Zbl 1425.68056) 全文: DOI程序
艾哈迈德·布瓦贾尼;康斯坦丁·埃纳;Lahiri,Shuvendu K。 进化并发程序的抽象语义差异。 (英语) Zbl 1425.68063号 形式方法系统。设计。 54,第1期,4-26(2019).MSC公司:68号30 68甲19 68问题55 PDF格式BibTeX公司 XML格式引用 \textit{A.Bouajjani}等人,《表格方法系统》。设计。54,编号1,4--26(2019;Zbl 1425.68063) 全文: DOI程序 哈尔
沃尔夫冈·阿伦特;杰苏斯·莫里西奥·奇曼托;戈登·佩斯。;杰拉尔多·施奈德 结合静态和运行时验证验证面向数据和控制的属性:理论和工具。 (英语) Zbl 1370.68195号 形式方法系统。设计。 51,第1期,200-265(2017).MSC公司:60年第68季度 68甲19 68号30 PDF格式BibTeX公司 XML格式引用 \textit{W.Ahrendt}等人,《形式方法系统》。设计。51,No.1,200--265(2017;Zbl 1370.68195) 全文: DOI程序
乔恩,帕沃;埃德蒙·克拉克(Edmund M.Clarke)。;托马斯·亨辛格。;阿琼·拉德哈克利什纳;列奥尼德·雷日克;萨曼塔(Samanta,Roopsha);托尔斯滕·塔拉赫 使用同步合成从非抢占调度到抢占调度。 (英语) Zbl 1360.68346号 形式方法系统。设计。 50,编号2-3,97-139(2017).MSC公司:68甲19 68平方米 60年第68季度 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{P.乔恩}等人,《形式方法系统》。设计。50,编号2--3,97-139(2017;Zbl 1360.68346) 全文: DOI程序
Mitra Tabaei Befrouei;王超;乔治·威森巴赫 抽象和挖掘跟踪以解释并发错误。 (英语) Zbl 1380.68107号 形式方法系统。设计。 49,编号1-2,1-32(2016).MSC公司:68甲19 68问题85 68T05年 PDF格式BibTeX公司 XML格式引用 \textit{M.Tabaei Befrouei}等人,《形式方法系统》。设计。49,编号1--2,1--32(2016;Zbl 1380.68107) 全文: DOI程序
罗曼·德曼根;本田、高黑;胡雷蒙德;鲁米亚纳内科娃;吉田信子 实用的可中断对话:使用多方会话类型和Python进行分布式动态验证。 (英语) Zbl 1341.68118号 形式方法系统。设计。 46,第3期,197-225(2015).MSC公司:60年第68季度 68甲15 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{R.Demangeon}等人,《形式方法系统》。设计。46,第3号,197--225(2015;Zbl 1341.68118) 全文: DOI程序
艾登·A·H·。;加斯帕里斯,E。;J·尼克尔森。;R.卡兹曼。 使用代码图表对面向对象程序进行建模和可视化。 (英语) Zbl 1291.68141号 形式方法系统。设计。 43,第1期,第1-28页(2013年).MSC公司:68号30 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.H.Eden}等人,《形式方法系统》。设计。43,编号1,1--28(2013;Zbl 1291.68141) 全文: DOI程序
Raghavan拉曼;赵继生;维威克·萨卡尔;马丁·维切夫;埃兰·雅哈夫 高效的异步并行数据竞争检测。 (英语) 兹比尔1284.68144 形式方法系统。设计。 41,第3期,321-347(2012).MSC公司:68甲19 68平方米 68宽10 68甲15 PDF格式BibTeX公司 XML格式引用 \textit{R.Raman}等人,《形式方法系统》。设计。41,第3号,321--347(2012;Zbl 1284.68144) 全文: DOI程序
贾斯汀·塞斯特;迪克西特、科坦;黄晓婉;拉杜·格罗苏;克劳斯·哈维隆德;斯科特·斯莫尔卡。;斯科特·斯托勒。;埃雷兹·扎多克 互方面:具有GCC的面向方面仪器。 (英语) Zbl 1284.68153号 形式方法系统。设计。 41,第3期,295-320(2012).MSC公司:68N20型 68甲15 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Seyster}等人,《形式方法系统》。设计。41,第3号,295--320(2012;Zbl 1284.68153) 全文: DOI程序
克里斯蒂安·科伦坡;戈登·佩斯。;帕特里克·阿贝拉 使用补偿实现更安全的异步运行时监控。 (英语) Zbl 1284.68142号 形式方法系统。设计。 41,第3期,269-294(2012).MSC公司:68甲19 68号30 68T20型 PDF格式BibTeX公司 XML格式引用 \textit{C.Colombo}等人,《形式方法系统》。设计。41,第3号,269--294(2012;Zbl 1284.68142) 全文: DOI程序
阿拉斯泰尔·唐纳森。;亚历山大·凯撒;丹尼尔·克罗宁;迈克尔·陶奇尼格;托马斯·沃尔 对称并发程序的反示例引导抽象细化。 (英语) Zbl 1284.68179号 形式方法系统。设计。 41,编号1,25-44(2012).MSC公司:68号30 60年第68季度 68甲19 68问题85 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人,《形式方法系统》。设计。41、第1号、第25-44号(2012年;Zbl 1284.68179) 全文: DOI程序 链接
阿拉斯泰尔·唐纳森。;丹尼尔·克罗宁;菲利普·吕默 使用模型检查和(k)-归纳法自动分析DMA竞争。 (英语) Zbl 1233.68124号 形式方法系统。设计。 39,第1期,第83-113页(2011年).MSC公司:68号30 60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.F.Donaldson}等人,《形式方法系统》。设计。39,第1号,第83-113条(2011;Zbl 1233.68124) 全文: DOI程序
马克斯·戈德曼;艾米莉亚·卡茨;Shmuel Katz MAVEN:模块化方面验证和干扰分析。 (英语) Zbl 1207.68206号 形式方法系统。设计。 37,第1期,61-92(2010).MSC公司:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{M.Goldman}等人,《形式方法系统》。设计。37,编号1,61-92(2010;Zbl 1207.68206) 全文: DOI程序
艾达尼,阿克兰;伊夫·莱德鲁 从形式化规范中识别面向对象的概念。 (英语) Zbl 1116.68050号 形式方法系统。设计。 30,第3期,217-232(2007).MSC公司:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{A.Idani}和\textit{Y.Ledru},表格方法系统。设计。30,第3号,217--232(2007;Zbl 1116.68050) 全文: DOI程序
马修·德怀尔。;约翰·哈特克利夫;罗比;文卡特斯·普拉萨德·兰加纳思 在并行面向对象程序的部分顺序缩减中利用对象转义和锁定信息。 (英语) Zbl 1090.68020号 形式方法系统。设计。 25,第2-3号,199-240(2004).MSC公司:68甲19 60年第68季度 PDF格式BibTeX公司 XML格式引用 \textit{M.B.Dwyer}等人,《形式方法系统》。设计。25,编号2--3,199-240(2004;Zbl 1090.68020) 全文: DOI程序
海克·卫尔海姆 活动对象的行为子类型关系。 (英语) Zbl 1057.68015号 形式方法系统。设计。 23,第2期,143-170(2003).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{H.Wehrheim},形式方法系统。设计。23,第2号,143--170(2003;Zbl 1057.68015) 全文: DOI程序
贾亚德夫·米斯拉 多道程序设计的简单、基于对象的视图。 (英语) Zbl 0989.68024号 形式方法系统。设计。 20,第1期,23-45(2002).MSC公司:68甲19 PDF格式BibTeX公司 XML格式引用 \textit{J.Misra},《形式方法系统》。设计。20、第1号、第23-45号(2002;Zbl 0989.68024) 全文: DOI程序
多龙·贝利德;安蒂·瓦尔马里;伊尔卡Kokkarinen 宽松的可视性增强了部分订单的减少。 (英语) Zbl 0995.68060号 形式方法系统。设计。 19,第3期,275-289(2001).MSC公司:60年第68季度 68甲19 PDF格式BibTeX公司 XML格式引用 \textit{D.Peled}等人,《形式方法系统》。设计。19,第3号,275--289(2001;Zbl 0995.68060) 全文: DOI程序