The Code Validation Tool (CVT) (original) (raw)
- 120 Accesses
- 65 Citations
- 12 Altmetric
- Explore all metrics
Access this article
Subscribe and save
- Starting from 10 chapters or articles per month
- Access and download chapters and articles from more than 300k books and 2,500 journals
- Cancel anytime View plans
Buy Now
Price excludes VAT (USA)
Tax calculation will be finalised during checkout.
Instant access to the full article PDF.
Author information
Authors and Affiliations
- Dept. of Applied Mathematics and Computer Science, the Weizmann Institute of Science, Rehovot, Israel; E-mail: {amir|mis|ofers}@wisdom.weizmann.ac.il, , , , , , IL
A. Pnueli, O. Shtrichman & M. Siegel
Authors
- A. Pnueli
- O. Shtrichman
- M. Siegel
Rights and permissions
About this article
Cite this article
Pnueli, A., Shtrichman, O. & Siegel, M. The Code Validation Tool (CVT) .STTT 2, 192–201 (1998). https://doi.org/10.1007/s100090050027
- Issue date: December 1998
- DOI: https://doi.org/10.1007/s100090050027