Name
Title | Citations | PageRank | Year |
|---|---|---|---|
| Grid Based Fast Falsification For Bounded Property Checking | 0 | 0.34 | 2007 |
| Distributed Symbolic Bounded Property Checking | 1 | 0.37 | 2006 |
| Transactional Level Verification and Coverage Metrics by Means of Symbolic Simulation. | 6 | 1.59 | 2004 |
| Using Symbolic Simulation for Bounded Property Checking | 0 | 0.34 | 2003 |