Introduction to the Special Issue devoted to SPIN 2018

Gallardo, M.M., Merino, P.: Model Checking Software—25th International Symposium, SPIN 2018, Malaga, Spain, 20–22 June 2018, Proceedings. Lecture Notes in Computer Science, vol. 10869. Springer, ISBN 978-3-319-94110-3 (2018) Panizo, L., Díaz, A., García, B.: Model-based testing of apps in real network scenarios. Int. J. Softw. Tools Technol. Transfer (2019). https://doi.org/10.1007/s10009-019-00518-2 Chalupa, M., Strejček, J., Vitovskà, M.: Joint forces for memory safety checking revisited. Int. J. Softw. Tools Technol. Transfer (2019). https://doi.org/10.1007/s10009-019-00526-2 Lange, T., Neuhäußerr, M.R., Noll, T., Katoen, J.-P.: IC3 software model checking. Int. J. Softw. Tools Technol. Transfer (2019). https://doi.org/10.1007/s10009-019-00547-x Berthomieu, B., Le Botlan, D., Dal Zilioa, S.: Counting Petri net markings from reduction equations. Int. J. Softw. Tools Technol. Transfer (2019). https://doi.org/10.1007/s10009-019-00519-1