Formal verification by symbolic evaluation of partially-ordered trajectories – Related Work – Interesting papers

Formal verification by symbolic evaluation of partially-ordered trajectories

Carl-Johan H. Seger, Randal E. Bryant
[doi] [Google Scholar] [DBLP] [Citeseer] [url]

Formal Methods Syst. Des. 6(2)
Pages 147-189
1995
Note(s): Symbolic trajectory evaluation, CPU verification

Symbolic trajectory evaluation

Symbolic trajectory evaluation: The primary validation vehicle for next generation Intel processor graphics FPU [kirankumar:fmcad:2012]
GSTE is partitioned model checking [sebastiani:cav:2004]

The opinions expressed are my own views and not my employer’s.