Introduction to STE Symbolic Trajectory Evaluation
Download:
|
|
by Koen Claessen, Jan-willem Roorda
http://www.cs.chalmers.se/~ms/DCC04/Abstracts/Roorda.ps
Add To MetaCart
Abstract:
(STE) [2] is a high-performance simulation-based model checking technique. It combines three-valued simulation (using the standard values 0 and 1 together with the extra value X, "don't know") with symbolic simulation (using symbolic
Citations
| 49 | A tutorial on Stalmarck's proof procedure for propositional logic – Sheeran, Stalmarck - 1998 |
| 48 | Finding bugs in an alpha microprocessor using satisfiability solvers – Bjesse, Leonard, et al. - 2001 |
| 24 | Introduction to generalized symbolic trajectory evaluation – Yang, Seger - 2001 |
| 5 | Formal veri cation by symbolic evaluation of partially-ordered trajectories – C, Bryant - 1995 |
