SymmExtractor

swMATH7637MaRDI QIDQ19659FDOQ19659

Author name not available (Why is that?)

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