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