Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version)

  title={Invariant Generation for Parametrized Systems Using Self-reflection - (Extended Version)},
  author={Alejandro S{\'a}nchez and Sriram Sankaranarayanan and C{\'e}sar S{\'a}nchez and Bor-Yuh Evan Chang},
We examine the problem of inferring invariants for parametrized systems. Parametrized systems are concurrent systems consisting of an a priori unbounded number of process instances running the same program. Such systems are commonly encountered in many situations including device drivers, distributed systems, and robotic swarms. In this paper we describe a technique that enables leveraging off-the-shelf invariant generators designed for sequential programs to infer invariants of parametrized… CONTINUE READING
Highly Cited
This paper has 24 citations. REVIEW CITATIONS

Similar Papers

Loading similar papers…