1. Gurevich, Y.: Evolving Algebras 1993: Lipari Guide - Specification and Validation Methods, pp. 9–36. Oxford University Press Inc, New York (1995)
2. Borger, E., Raschke, A.: Modeling Companion for Software Practitioners. Springer, Heidelberg (2018). https://doi.org/10.1007/978-3-662-56641-1_9
3. Farahbod, R., Glässer, U., Ma, G.: Model checking CoreASM specifications. In: Proceedings of the 14th International ASM Workshop (ASM 2007). Citeseer (2007)
4. Lecture Notes in Computer Science;P Arcaini,2016
5. Baldoni, R., Coppa, E., D’elia, D.C., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. ACM Comput. Surv. (CSUR) 51(3), 50 (2018)