Towards Symmetry Aware Refinement Checking (Extended Abstract)
Prif Awduron: | Moffat, N, Goldsmith, M, Roscoe, B |
---|---|
Fformat: | Conference item |
Cyhoeddwyd: |
2007
|
Eitemau Tebyg
-
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
gan: Moffat, N, et al.
Cyhoeddwyd: (2008) -
A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking
gan: Moffat, N, et al.
Cyhoeddwyd: (2008) -
A representative function approach to symmetry exploitation for CSP refinement checking
gan: Moffat, N, et al.
Cyhoeddwyd: (2008) -
A representative function approach to symmetry exploitation for CSP refinement checking
gan: Moffat, N, et al.
Cyhoeddwyd: (2008) -
Policy Refinement Checking (extended abstract)
gan: Goldsmith, S
Cyhoeddwyd: (2009)