Symboliczna ocena trajektorii

Symboliczna ocena trajektorii ( STE ) to oparta na sieci technologia sprawdzania modelu , która wykorzystuje formę symbolicznej symulacji . STE jest zasadniczo używany do sprzętu komputerowego, czyli do weryfikacji obwodów . Technika wykorzystuje abstrakcję , co oznacza, że ​​szczegóły zachowania obwodu są usuwane z modelu obwodu. Został po raz pierwszy opracowany przez Carla Segera i Randy'ego Bryanta w 1995 roku jako alternatywa dla „klasycznego” sprawdzania modeli symbolicznych .

• C.-JH Seger i RE Bryant, formalna weryfikacja przez symboliczną ocenę częściowo uporządkowanych trajektorii , formalne metody projektowania systemów, tom. 6, nr 2 (marzec 1995), s. 147–190