A representative function approach to symmetry exploitation for CSP refinement checking
Effective temporal logic model checking algorithms exist that exploit symmetries arising from parallel composition of multiple identical components. These algorithms often employ a function rep from states to representative states under the symmetries exploited. We adapt this idea to the context of...
| Main Authors: | , , |
|---|---|
| Format: | Journal article |
| Language: | English |
| Published: |
2008
|
Search Result 1
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
Published 2008
Conference item
Search Result 2
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
Published 2008
Conference item
Search Result 3
A representative function approach to symmetry exploitation for CSP refinement checking
Published 2008
Conference item