Journal article
A representative function approach to symmetry exploitation for CSP refinement checking
- Abstract:
-
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 refinement checking for the process algebra CSP. In so doing, we must cope with refinement-style specifications. The main challenge, though, is the need for access to sufficient local information a...
Expand abstract
Actions
Authors
Bibliographic Details
- Journal:
- Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
- Volume:
- 5256 LNCS
- Pages:
- 258-277
- Publication date:
- 2008-01-01
- DOI:
- EISSN:
-
1611-3349
- ISSN:
-
0302-9743
- Source identifiers:
-
327278
Item Description
- Language:
- English
- Pubs id:
-
pubs:327278
- UUID:
-
uuid:1327554e-ce5d-4a7b-a354-5be570ab9619
- Local pid:
- pubs:327278
- Deposit date:
- 2012-12-19
Terms of use
- Copyright date:
- 2008
If you are the owner of this record, you can report an update to it here: Report update to this record