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 .
Dalam sistem perisian tanpa misi, di mana prestasi kritikal adalah benar-benar perlu, kaedah formal boleh digunakan untuk memastikan operasi yang betul sistem. Dalam sistem perisian bebas misi di mana prestasi kritikal adalah benar-benar perlu, kaedah formal boleh digunakan untuk memastikan operasi yang betul sistem.