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:
Host title:
Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS'07)
Publication date:
2007-01-01
UUID:
uuid:f8d415d2-8c40-46d2-8bc9-287053a6b3eb
Local pid:
cs:2705
Deposit date:
2015-03-31

Terms of use


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