Proceedings of the Sixth NASA Langley Formal Methods Workshop