SymmExtractor
From MaRDI portal
Software:19659
No author found.
Related Items
Counterexample-guided abstraction refinement for symmetric concurrent programs ⋮ Automatic symmetry detection for Promela
This page was built for software: SymmExtractor