Proceedings of the third workshop on Formal methods in software practice