Spin-to-Grape

swMATH7515MaRDI QIDQ19542FDOQ19542

Author name not available (Why is that?)

Described by source

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

Cited In (5)

• 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
• 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