The Code Validation Tool (CVT) (original) (raw)

• 120 Accesses
• 65 Citations
• 12 Altmetric
• Explore all metrics

Access this article

Log in via an institution

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

1. 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

1. A. Pnueli
2. O. Shtrichman
3. 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

Download citation

• Issue date: December 1998
• DOI: https://doi.org/10.1007/s100090050027