Symbolické vyhodnocení trajektorie - Symbolic trajectory evaluation

tento článek potřebuje další citace pro ověření. Prosím pomozte vylepšit tento článek podle přidávání citací ke spolehlivým zdrojům. Zdroj bez zdroje může být napaden a odstraněn. Najít zdroje: "Symbolické vyhodnocení trajektorie"  – zprávy  · noviny  · knihy  · učenec  · JSTOR (Srpna 2019) (Zjistěte, jak a kdy odstranit tuto zprávu šablony)

Vyhodnocení symbolické trajektorie (STE) je mříž -na základě kontrola modelu technologie, která používá formu symbolická simulace. STE se v zásadě používá pro počítačový hardware, to je obvod ověření. Tato technika používá abstrakce, což znamená, že podrobnosti chování obvodu jsou z modelu obvodu odstraněny. Poprvé jej vyvinuli Carl Seger a Randy Bryant v roce 1995 jako alternativu k „klasickému“ symbolická kontrola modelu.

Reference

• C.-J. H. Seger a R. E. Bryant, Formální ověření symbolickým hodnocením částečně objednaných trajektorií, Formal Methods in System Design, sv. 6, č. 2 (březen 1995), s. 147–190

Tento počítačová věda článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to.