JUCS - Journal of Universal Computer Science 10(12): 1559-1561, doi: 10.3217/jucs-010-12
Tuning SAT for Formal Verification and Testing
expand article infoMiroslav N. Velev‡
‡ Reservoir Labs, New York, NY, United States of America

Corresponding author: Miroslav Velev ( velev@reservoir.com )

© Miroslav Velev.
This article is freely available under the J.UCS Open Content License.
Citation: Velev MN (2004) Tuning SAT for Formal Verification and Testing. JUCS - Journal of Universal Computer Science 10(12): 1559-1561. https://doi.org/10.3217/jucs-010-12
Open Access