@pixelherodev not entirely true. There is mathematically proven software that is guaranteed to be bug-free, however it's mainly for very small pieces of software and only really used in extremely mission critical cases (e.g. avionics) due to the incredibly high cost of developing it.