Complex sentence: Refactoring tools will help move existing code to new environments and formal methods-based techniques and tools will help ensure correctness.
Split into simpler sentences: Refactoring tools will help move existing code to new environments. Formal, methods-based techniques and tools will help ensure correctness.