Abstraction of parallel uniform processes with data
Jun Pang, Jaco van de Pol, Miguel Valero Espada · Centrum Wiskunde & Informatica (CWI), the national research institute for mathematics and computer science in the Netherlands · 2004
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.