Abstraction of Parallel Uniform Processes with Data

  • Authors:

  • Jun Pang;Jaco van de Pol;Miguel Valero Espada

  • Affiliations:

  • CWI, The Netherlands;CWI, The Netherlands;CWI, The Netherlands

  • Venue:
  • SEFM '04 Proceedings of the Software Engineering and Formal Methods, Second International Conference
  • Year:
  • 2004

Quantified Score

Hi-index 0.00

Visualization

Abstract

In practice, distributed systems are quite often composed by an arbitrarily large but finite number of processes that execute a similar program. Abstract interpretation is an effective technique to fight state explosion problems. In this paper, we propose a general framework for abstracting parallel composition of uniform processes with data, in the setting of a process algebraic language µCRL. We illustrate the feasibility of this technique by proposing two instances of the general framework and applying them to the verification of two systems.