Counter abstraction in the CSP/FDR setting
<p>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...
Main Authors: | Mazur, T, Lowe, G |
---|---|
Format: | Journal article |
Language: | English |
Published: |
Elsevier
2009
|
Subjects: |
Similar Items
-
Counter Abstraction in the CSP/FDR setting
by: Mazur, T, et al.
Published: (2007) -
CSP−based counter abstraction for systems with node identifiers
by: Mazur, T, et al.
Published: (2013) -
CSP-based counter abstraction for systems with node identifiers
by: Mazur, T, et al.
Published: (2014) -
Verifying Statemate Statecharts Using CSP and FDR
by: Roscoe, A, et al.
Published: (2006) -
Critical systems validation and verification with CSP and FDR
by: Goldsmith, M, et al.
Published: (1999)