sentence1: In mission-critical software systems , where flawless performance is absolutely necessary , formal methods may be used to ensure the correct operation of a system .
sentence2: In mission-free software systems where critical performance is absolutely necessary , formal methods can be used to ensure the correct operation of a system .