Journal article icon

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


Access Document


Authors


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
URN:
uuid:1327554e-ce5d-4a7b-a354-5be570ab9619
Source identifiers:
327278
Local pid:
pubs:327278
Language:
English

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP