Technology in modern warfare has assumed a crucial role, every government is developing new cyber capabilities to be able to contrast and prevent cyber threats. Drones control systems, SCADA systems and medical devices share the possibility to be victim of a cyber attacks such as a malware infection, event such as Stuxnet case and the various news on hijacking of drones remind us that hackers could exploit these complex systems to the leak of secure coding. High-Assurance Cyber Military Systems (HACMS) program seeks to create technology for the construction of systems that are functionally correct and satisfy appropriate safety and security properties.”]