Spin-to-Grape

swMATH7515MaRDI QIDQ19542FDOQ19542

Author name not available (Why is that?)

Official website: http://dl.acm.org/citation.cfm?id=1705748

Described by source

• \textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models

Cited In (10)

• Symmetry and partial order reduction techniques in model checking Rebeca
• A template-based approach for the generation of abstractable and reducible models of featured networks
• On the constructive orbit problem
• TopSpin
• B4Free
• Z2sal
• SymmSpin
• Viptos
• Efficient approximate verification of B and Z models via symmetry markers
• Finding symmetry in models of concurrent systems by static channel diagram analysis

This page was built for software: Spin-to-Grape