Un'istruzione booleana utilizzata un programma per verificare una condizione che, se il programma sta funzionando correttamente, dovrebbe sempre valutare come vero; in caso contrario il programma terminerà in genere con un messaggio di errore appropriato. Asserzioni sono utilizzate per il debug dei programmi e per documentare come dovrebbe funzionare un programma.