Parametrized invariance for infinite state processes

@article{Snchez2013ParametrizedIF,
  title={Parametrized invariance for infinite state processes},
  author={Alejandro S{\'a}nchez and C{\'e}sar S{\'a}nchez},
  journal={Acta Informatica},
  year={2013},
  volume={52},
  pages={525-557}
}
We study the uniform verification problem for infinite state processes. This problem consists of proving that the parallel composition of an arbitrary number of processes running the same program (or a finite collection of programs) satisfies a temporal property. Our practical motivation is to build a general framework for the temporal verification of concurrent datatypes. In this paper we propose a general method for the verification of safety properties of parametrized programs that… CONTINUE READING
BETA

Similar Papers

Citations

Publications citing this paper.
SHOWING 1-6 OF 6 CITATIONS

References

Publications referenced by this paper.