霍尔/旋转

在HOL/SPIN中的路由信息协议我们利用HOL和SPIN的收敛性证明了基于距离向量路由的internet协议RIP。我们还计算了这种收敛的实时界。这扩展了现有的结果来处理RIP标准本身,其复杂性在关于协议的抽象版本的定理中没有得到考虑。我们的工作还提供了一个高阶定理证明器和模型检验器结合使用的实例。前者用于表示抽象性质和归纳,构造高层证明;后者则有效地处理有限性质的案例分析


zbMATH中的参考文献(参考 24篇文章 24篇,第1条标准)

显示第1到第20个结果,共24个。
按年份排序(引用)
  1. Yousefi,Behnaz;Ghassemi,Fatemeh;Khosravi,Ramtin:无线自组织网络的建模和有效验证(2017)
  2. Bres,Emile;van Glabbeek,Rob;Höfner,Peter:无线网络的定时进程代数及其在路由中的应用(扩展摘要)(2016)
  3. Feo Arenis,Sergio;Westphal,Bernd;Dietsch,Daniel;Muñiz,Marco;Andisha,Siyar;Podelski,Andreas:准备测试:通过正式验证确保符合工业标准(2016年)ioport公司
  4. Ghassemi,Fatemeh;Fokkink,Wan:模型检查移动自组织网络(2016)
  5. Liu,Si;厄尔维茨基,Peter Csaba;Meseguer,José:实时Maude移动自组网建模与分析(2016)
  6. van Glabbeek,Rob;Höfner,Peter;Portmann,Marius;Tan,Wee Lum:AODV路由协议的建模和验证(2016)
  7. Chen,Chen;Jia,Limin;Xu,Hao;Luo,Cheng;Zhou,Wenchao;Loo,Boon Thau:验证安全路由协议的程序逻辑(2015)
  8. Merro,Massimo;Sibilio,Eleonora:值得信赖的ad hoc网络的演算(2013)
  9. Ansgar Fehnker;van Glabbeek,Rob;Höfner,Peter;McIver,Annabelle;Portmann,Marius;Tan,Wee Lum:无线网状网络的过程代数(2012)
  10. Ghassemi,Fatemeh;Fokkink,Wan;Movaghar,Ali:移动自组织网络的验证:代数方法(2011)
  11. Nanz,Sebastian;Nielson,Flemming;Nielson,Hanne Riis:拓扑相关广播网络的静态分析(2010)
  12. Pura,Mihai Lica;Patriciu,Victor Valeriu;Bica,Ion:使用AVISPA对安全自组织路由协议的正式验证:ARAN案例研究(2010)
  13. Anu Singh;Ramakrishnan,C.R.;Smolka,Scott A.:移动自组织网络的过程演算(2010)
  14. Jonathan,Billington;Yuan,Cong:动态移动自组网按需路由协议的建模与分析(2009)ioport公司
  15. Hoang,Thai Son;Kuruma,Hironobu;Basin,David;Abrial,Jean Raymond:在Event-B中开发拓扑发现(2009)
  16. Hoang,Thai Son;Kuruma,Hironobu;Basin,David;Abrial,Jean Raymond:在Event-B中开发拓扑发现(2009)
  17. Espensen,Kristian L.;Kjeldsen,Mads K.;Kristensen,Lars M.:移动自组织网络DYMO路由协议的建模和初始验证(2008)
  18. Ghassemi,Fatemeh;Movaghar,Ali:adhoc网络中路由协议的建模(2008)
  19. Saksena,Mayank;Wibling,Oskar;Jonsson,Bengt:ad hoc路由协议的图语法建模与验证(2008)
  20. Nanz,Sebastian;Hankin,Chris:移动无线网络安全分析框架(2006)