1. MCMT: Model Checker Modulo Theories. http://users.mat.unimi.it/users/ghilardi/mcmt. Accessed 1 Sep 2020
2. SAFE: the swarm safety detector. http://www.safeswarms.club. Accessed 1 Sep 2020
3. Abdulla, P.A., Cerans, K., Jonsson, B., Tsay, Y.K.: General decidability theorems for infinite-state systems. In: Proceedings of LICS, pp. 313–321. IEEE (1996)
4. Alberti, F., Bruttomesso, R., Ghilardi, S., Ranise, S., Sharygina, N.: An extension of lazy abstraction with interpolation for programs with arrays. Formal Methods Syst. Des. 45(1), 63–109 (2014). https://doi.org/10.1007/s10703-014-0209-9
5. Alberti, F., Ghilardi, S., Sharygina, N.: A framework for the verification of parameterized infinite-state systems. Fund. Inform. 150(1), 1–24 (2017)