上旋

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

此软件的关键字

这里的任何内容都将在支持canvas元素的浏览器上被替换

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公司