Conference item icon

Conference item

Counter Abstraction in the CSP/FDR setting

Abstract:

In this paper we consider an adaptation of counter abstraction for the CSP/FDR setting. The technique allows us to transform a concurrent system with an unbounded number of agents into a finite-state abstraction. The systems to which the method can be applied are composed of many identical node processes that run in parallel with a controller process. Refinement checks on the abstract state machine can be performed automatically in the traces and stable failures models using the model checker...

Expand abstract

Actions


Access Document


Files:

Authors


Tomasz Mazur More by this author
Gavin Lowe More by this author
Publication date:
2007
URN:
uuid:f8d415d2-8c40-46d2-8bc9-287053a6b3eb
Local pid:
cs:2705

Terms of use


Metrics



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

TO TOP