Je hebt een klacht over de onderstaande posting:
Als derhalve wiskundig bewezen is dat deze microkernel correct werkt Er is bewezen dat het aan de specs voldoet. Of die specs voldoende zijn om het veilig te maken is dan natuurlijk punt 2. En hoe de veiligheid in combinatie met de rest van het hele ecosysteem zit punt 3.
Beschrijf je klacht (Optioneel):