海伦娜

海伦娜的高级Petri网分析。本文介绍了高级Petri网分析仪Helena。Helena可用于状态属性的动态验证,即系统所有可达状态下必须保持的属性,以及死锁的无死锁性。Helena的一些特性使得它在内存管理方面特别有效。结构抽象技术,主要是过渡凝聚,被用来解决状态爆炸问题。提供了将我们的工具与Maria进行比较的基准。Helena是在便携式Ada中开发的,在GNU通用公共许可证的条件下可以免费获得。


zbMATH中的参考文献(参考文献11条,1标准件)

显示结果1到11,共11个。
按年份排序(引用)

  1. Pommereau,Franck:SNAKES:一个灵活的高级Petri网库(工具书)(2015)
  2. 波涛汹涌,克莉丝汀;黛多娃,安娜;福音派,萨米人;克莱,凯斯;佩特鲁奇,劳尔;Youcef,Samir:《近地天体议定书的建模和正式验证》(2012年)ioport公司
  3. 科顿,法布里斯;利纳德,阿尔班;布克斯,迪迪埃;科朗格,马克西米利恩;福音派,萨米人;兰普卡,凯;罗曼,尼尔斯;艾曼纽艾德帕维奥阿德特;蒂埃里·米格,扬;Wimmel,Harro:2011年(2012年)Petri网模型检查竞赛报告ioport公司
  4. 波涛汹涌,克莉丝汀;黛多娃,安娜;福音派,萨米人;洪、思连;克莱,凯斯;Petrucci,Laure:大型分布式数据库系统的NEO协议:建模和初始验证(2010)ioport公司
  5. 福音派,萨米人;帕乔尔特,克里斯托夫:解决偏序降阶的忽略问题(2010)ioport公司
  6. 巴什罗夫,Rza;科顿,法布里斯;Lort,Hüseyin:利用有色Petri网来决定置换可容许性(2009)
  7. 布劳莱,罗兰;德维勒,雷蒙德;克劳代尔,汉娜;佩尔兹,伊丽莎白;Pommereau,Franck:使用基于角色的规范和Petri网对安全协议进行建模和分析(2008)
  8. 克劳代尔,汉娜;库特尼,麦基;佩尔兹,伊丽莎白;Pommereau,Franck:通过动态过程创建实现系统的有效验证(2008)
  9. 福音派,萨米人;Pradat Peyre,Jean François:关于有色Petri网顽固集的计算(2006)
  10. Evangelista,Sami:Helena的高级Petri网分析(2005)
  11. 福音派,萨米人;Pradat Peyre,Jean François:显式软件模型检查中的内存有效状态空间存储(2005)