RGITL公司

此软件的关键字
zbMATH中的参考文献(参考文献 6条 , 1标准件 )
博登米勒,斯特凡; 谢尔霍恩,格哈德; 比特利希,马丁; Reif,Wolfgang:Flashix:并发和崩溃安全闪存文件系统的模块化验证(2021) 费拉罗蒂,弗拉维奥; Schewe,克劳斯·迪特尔; 洛雷达纳技术公司; 王青:非确定性并行并行并行抽象状态机的统一逻辑(2018) 莫斯科夫斯基,本; Guelev,Dimitar P.:时间投影在交织并发中的应用(2017) 谢尔霍恩,格哈德; 特拉夫金,奥列格; Wehrheim,Heike:走向饥饿自由的线程局部证明技术(2016) 谢尔霍恩,格哈德; 德里克,约翰; Wehrheim,Heike:并发数据结构线性化的可靠完整证明技术(2014) 谢尔霍恩,格哈德; 豆腐,博格丹; 恩斯特,基顿; Pfähler,Jörg; Reif,Wolfgang:RGITL:交织程序组合推理的时序逻辑框架(2014)