| 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 | | | | |
| Usman, M., Wang, W., Wang, K., Yelen, C., Dini, N., Khurshid, S.: Data structure invariants, machine learning, korat, learnability. In this issue | | | | |
| Metzler, P., Suri, N., Weissenbacher, G.: Extracting safe thread schedules from incomplete model checking results. In this issue | | | | |
| Enevoldsen, S, Larsen, K.G., Srba, J.: Dependency graphs with applications to verification. In this issue | | | | |
| DeFrancisco, R., Cho, S., Ferdman, M., Smolka, S.A.: Swarm model checking on the GPU. In this issue | | | | |