对称旋转

对称自旋我们详细描述了对称自旋,一个自旋的对称简化包。基于前面提出的启发式算法,本文提出了四种状态空间约简策略,并给出了第五种模式作为参考。描述了一系列新的实验,强调了启发式算法的有效性,并证明了该算法可以推广到多个标量集、多个进程族以及几乎全部的Promela语言。


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

显示第1到第20个结果,共21个。
按年份排序(引文)
  1. 巴斯勒,杰拉德;玛祖奇,米歇尔;沃尔,托马斯;丹尼尔·克罗宁:《上下文感知反抽象》(2010)
  2. 贾古里,穆罕默德·马赫迪;锡尔贾尼,马扬;穆萨维,穆罕默德·雷扎;埃桑哈梅斯帕纳;Movaghar,Ali:模型检验中的对称性和偏序缩减技术Rebeca(2010)
  3. 鲁舍尔,迈克尔;Massart,Thierry:B和Z模型通过对称标记的有效近似验证(2010)
  4. 博纳奇,德拉甘;卢伊,斯特凡;Lafuente,Alberto Lluch:一般状态探索算法的偏序缩减(2009)ioport公司
  5. Donaldson,Alastair F.:矢量对称化简(2009)
  6. 唐纳森,阿拉斯泰尔F。;米勒,爱丽丝:关于建设性轨道问题(2009)
  7. 唐纳森,阿拉斯泰尔F。;Miller,Alice:Promela的自动对称性检测(2008)
  8. 克劳代尔,汉娜;库特尼,麦基;佩尔兹,伊丽莎白;Pommereau,Franck:通过动态过程创建实现系统的有效验证(2008)
  9. 唐纳森,阿拉斯泰尔F。;Miller,Alice:将对称约化技术扩展到现实计算模型(2007)
  10. 小牛肉,马格斯;厄尼茨,朱汉;Campbell,Colin:具有抽象数据结构的模型程序中的状态同构(2007)
  11. 博纳奇,德拉甘;卢伊,斯特凡;Lluch Lafuente,Alberto:一般状态探索算法的偏序缩减(2006)
  12. 唐纳森,A.F。;Miller,A.:使用计算群理论进行模型检查的自动对称性检测(2005)
  13. 德怀尔,马修B。;哈特克利夫,约翰;你好,马修;Robby,Matthew:使用Bogor可扩展模型检查框架构建您自己的软件模型检查器(2005)
  14. 德怀尔,马修B。;哈特克利夫,约翰;罗比;Ranganath,Venkatesh-Prasad:在并行面向对象程序的偏序缩减中利用对象转义和锁定信息(2004)
  15. 埃德尔坎普,斯特凡;卢伊,斯特凡;Lluch Lafuente,Alberto:定向模型检验中的偏序降阶与试验改进(2004)ioport公司
  16. 埃德尔坎普,斯特凡;卢伊,斯特凡;Lluch Lafuente,Alberto:定向模型检验中的偏序降阶与试验改进(2004)ioport公司
  17. 并发对称性检验软件(2004)ioport公司
  18. Iosif,Radu:并行动态软件模型检验的对称性约简(2004)ioport公司
  19. 罗比;德怀尔,马修B。;哈特克利夫,约翰;Iosif,Radu:模型检查动态软件的空间缩减策略(2003)
  20. 博纳奇,德拉甘;戴姆斯,丹尼斯;霍伦德斯基,莱泽克:对称自旋(2002)ioport公司