Text this: Proceedings of VERkshop III - A Formal Verification Workshop