Je hebt een klacht over de onderstaande posting:
Je kan met wiskunde de correctheid van een algorithme of de werking van een bepaald programma bewijzen, alleen is dit heel complex en rekenintensief dus wordt het vaak alleen voor bepaalde kritische onderdelen gedaan, bij DARPA denken ze groot dus ik vermoed dat ze dit voor een groot gedeelte van de 'firmware' van de drone hebben gedaan. Pas echter wel op met het trekken van snelle conclusies, er zijn voorbeelden bekend van dergelijke 'perfecte' software / microchips die aangevallen werden met microgolf straling, door de ontstane bitfouten kon het apparaat dan toch weer gehacked worden.
Beschrijf je klacht (Optioneel):