ETCH

MaRDI QIDQ19658swMATHFDO

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