Open License Society ______Only software can be perfect

While most engineering domains use implicitely or implicitely mathematics, albeit often more to calculate specific properties, hardware and in particular software engineers only rely on mathematics, then called "formal methods" when safety or security issues are primordial. Nevertheless, as our OpenComRTOS project has shown, using formal methods is beneficial for all developments. The essence is formalised thinking and teamwork in all activities of the engineering process. The result is not just systems that are "correct" by design but also often more efficiënt and elegant, even in domains that have established standards. Why are such formalised methods not used more often, especillay now that the state space explosion and complexity undermine the correctness of any system, especially when software and programmable hardware are part of the system? The reason is education. Formal methods are not that difficult to use, but just like any language, it must be learned at an early age. Prof. Raymond Boute has written an interesting paper on this subject. See attached files.