SymmExtractor

MaRDI QIDQ19659swMATHFDO

Official website http://rd.springer.com/article/10.1007%2Fs10817-008-9107-4

Cited in

(5)

• ETCH
• SymmPa
• SableCC
• Automatic symmetry detection for Promela
• Counterexample-guided abstraction refinement for symmetric concurrent programs

This page was built for software: SymmExtractor