Conseguenze

• la modifica al compilatore può essere mascherata

• sicurezza totale richiede controllo di tutti i componenti di un sistema

• teorema di Turing: non è possibile verificare la correttezza

Previous slide

Next slide

Back to first slide

View graphic version