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

MaRDI QIDQ2851072zbMATH OpenFDO

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

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)

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

Cited in

(7)

• Efficient Approximate Verification of Promela Models Via Symmetry Markers
• FM 2005: Formal Methods
• Spin-to-Grape
• scientific article; zbMATH DE number 1744968 (Why is no real title available?)
• scientific article; zbMATH DE number 1670549 (Why is no real title available?)
• Finding symmetry in models of concurrent systems by static channel diagram analysis
• Automatic symmetry detection for Promela

Describes a project that uses

Uses Software

• GRAPE
• SPIN
• nauty
• GAP

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)