上旋

自旋模型检查器的自动对称性缩减。TopSPIN是一个用于自旋模型检查器的自动对称性缩减工具。TopSPIN应用于Promela规范,如果规范符合某些限制(详见用户手册),则使用计算群论自动确定与规范相关的一组组件对称性。该工具自动修改SPIN使用的模型检查算法,以便在验证过程中利用这些对称性。这可以显著减少内存消耗,并且在许多情况下还可以加快验证时间。


zbMATH中的参考文献(参考文献13条)

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

  1. 昌、门见;Jefferson,Christopher:置换群的不相交直接积分解(2022)
  2. 巴斯勒,杰拉德;玛祖奇,米歇尔;沃尔,托马斯;丹尼尔·克罗宁:《上下文感知反抽象》(2010)
  3. 贾古里,穆罕默德·马赫迪;锡尔贾尼,马扬;穆萨维,穆罕默德·雷扎;埃桑哈梅斯帕纳;Movaghar,Ali:模型检验中的对称性和偏序缩减技术Rebeca(2010)
  4. 鲁舍尔,迈克尔;Massart,Thierry:B和Z模型通过对称标记的有效近似验证(2010)
  5. 沃尔,托马斯;D'Silva,Vijay:对称性缩减的懒惰方法(2010)
  6. Donaldson,Alastair F.:矢量对称化简(2009)
  7. 唐纳森,阿拉斯泰尔F。;米勒,爱丽丝:关于建设性轨道问题(2009)
  8. 唐纳森,阿拉斯泰尔F。;Miller,Alice:Promela的自动对称性检测(2008)
  9. 杨,F。;卡尔伯森,J。;霍尔特,R。;扎哈维,美国。;Felner,A.:加性状态空间抽象的一般理论(2008)
  10. 博纳奇,德拉甘;唐纳森,阿拉斯泰尔F。;鲁舍尔,迈克尔;Massart,Thierry:通过对称标记对Promela模型的有效近似验证(2007)
  11. 唐纳森,阿拉斯泰尔F。;Miller,Alice:将对称约化技术扩展到现实计算模型(2007)
  12. 唐纳森,阿拉斯泰尔F。;Miller,Alice:模型检查中对称性缩减的精确和近似策略(2006)ioport公司
  13. 唐纳森,阿拉斯泰尔F。;Miller,Alice:SPIN model checker的计算群理论对称性约简包(2006)ioport公司