Spin-to-Grape

MaRDI QIDQ19542swMATHFDO

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

(11)

• 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
• TopSpin
• TinyOS
• B4Free
• Z2sal
• SymmSpin
• Viptos
• 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