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

zbMATH Open1272.68300MaRDI QIDQ2851072FDOQ2851072

Authors: Alastair Donaldson, Alice Miller, M. Calder 

Publication date: 2 October 2013

Full work available at URL: http://www.sciencedirect.com/science/article/pii/S1571066105051145

Recommendations

• Automatic symmetry detection for Promela
• scientific article; zbMATH DE number 1670549
• Finding symmetry in models of concurrent systems by static channel diagram analysis
• scientific article; zbMATH DE number 1744968
• FM 2005: Formal Methods

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited In (7)

• Efficient Approximate Verification of Promela Models Via Symmetry Markers
• FM 2005: Formal Methods
• Title not available (Why is that?)
• Title not available (Why is that?)
• Spin-to-Grape
• Finding symmetry in models of concurrent systems by static channel diagram analysis
• Automatic symmetry detection for Promela

Uses Software

• GAP
• nauty
• SPIN
• GRAPE

This page was built for publication: \textsc{Spin-to-Grape}: a tool for analysing symmetry in Promela models

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2851072)