Abstract
This short introduction presents the selected papers from SPIN 2019.
Similar content being viewed by others
References
DeFrancisco, R., Cho, S., Ferdman, M., Smolka, S.A.: Swarm model checking on the GPU. In this issue
Enevoldsen, S, Larsen, K.G., Srba, J.: Dependency graphs with applications to verification. In this issue
Metzler, P., Suri, N., Weissenbacher, G.: Extracting safe thread schedules from incomplete model checking results. In this issue
Usman, M., Wang, W., Wang, K., Yelen, C., Dini, N., Khurshid, S.: Data structure invariants, machine learning, korat, learnability. In this issue
Yousefi, F., Khamespanah, E., Gharib, M., Sirjani, M., Movaghar, A.: Verivanca: An actor-based framework for formal verification of warning message dissemination schemes in vanets. In this issue
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Biondi, F., Given-Wilson, T. & Legay, A. Introduction to the special issue for SPIN 2019. Int J Softw Tools Technol Transfer 22, 563–564 (2020). https://doi.org/10.1007/s10009-020-00580-1
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10009-020-00580-1