I sistemi embedded sono onnipresenti nel mondo moderno. Tali sistemi sono utilizzati in un'ampia varietà di applicazioni, che vanno dai comuni dispositivi elettronici di consumo alle applicazioni automobilistiche e avioniche. Una proprietà comune a tutti i sistemi embedded è quella di interagire con l'ambiente fisico, spesso ricavando i propri input dall'ambiente circostante. A causa dei domini applicativi in cui tali sistemi sono utilizzati, il loro comportamento è spesso vincolato da proprietà funzionali (come la relazione ingresso-uscita) e non funzionali (come il tempo di esecuzione o il consumo energetico). Ciò rende il collaudo e la validazione di tali sistemi un compito impegnativo.