ETCH

swMATH7636MaRDI QIDQ19658FDOQ19658

Author name not available (Why is that?)

Official website: http://www.doc.ic.ac.uk/~afd/etch/

Cited In (6)

• Type inference and strong static type checking for Promela
• p2b
• PROMELA
• SymmExtractor
• SableCC
• Automatic symmetry detection for Promela

This page was built for software: ETCH