La evaluación de trayectoria simbólica ( STE ) es una tecnología de verificación de modelos basada en retículas que utiliza una forma de simulación simbólica . La STE se utiliza esencialmente para hardware de computadoras, es decir, verificación de circuitos . La técnica utiliza abstracción , lo que significa que los detalles del comportamiento del circuito se eliminan del modelo del circuito. Fue desarrollada por primera vez por Carl Seger y Randy Bryant en 1995 como una alternativa a la verificación de modelos simbólicos "clásica" .