Los sistemas empotrados son omnipresentes en el mundo moderno. Se utilizan en una gran variedad de aplicaciones, desde los dispositivos electrónicos de consumo más comunes hasta aplicaciones de automoción y aviónica. Una propiedad común a todos los sistemas empotrados es que interactúan con el entorno físico, a menudo derivando sus entradas del entorno circundante. Debido a los ámbitos de aplicación en los que se utilizan estos sistemas, su comportamiento suele estar limitado por propiedades funcionales (como la relación entrada-salida) y no funcionales (como el tiempo de ejecución o el consumo de energía). Esto hace que la comprobación y validación de estos sistemas sea una tarea difícil.