Je hebt een klacht over de onderstaande posting:
Het is ook niet het besturingssysteem wat de problemen veroozaakt, het zijn de mensen die ze installeren, specificeren en gebruiken. Het is niet zo spannend te zien dat het "wiskundig bewezen is dat het de vermelde specificatie correct implementeert", daarmee zeg je dus feitelijk, als "A dan B". Het wordt pas spannend als A niet A is :) Ik vrees dat het eerder een theoretisch correcte test is dan een daarwerkelijk bruikbaar resultaat, maar we zullen zien.
Beschrijf je klacht (Optioneel):