|
- "Using constraint satisfaction formulations and solution techniques for random test program generation", Roy Emek, HRL Verification Seminar, Haifa, October 2002.
Available in (PDF)
- "Stochastic approach to CSP's in the hardware verification domain", Yehuda Naveh, HRL Verification Seminar, Haifa, October 2003
Available in (PDF)
- "Octopus: general" (latest version), Yehuda Naveh, Haifa, October 2004.
Available in (PDF)
| |
|
