Proceedings of the second workshop on Formal methods in software practice