Proceedings of the International Workshop on Formal to Practical Software Verification and Composition (VeryComp 2016)