Proceedings of the 12th international conference on Verification, model checking, and abstract interpretation