Information Technology Reference
In-Depth Information
[20] A. Pnueli, M. Siegel, and E. Singerman. Translation validation. In B. Steen,
editor,
4th Intl. Conf. TACAS'98
, volume 1384 of
Lect. Notes in Comp. Sci.
, pages
151{166. Springer-Verlag, 1998.
[21] A. Stump and D. Dill. Generating proofs from a decision procedure. In
Run-Time
Result Verication
. The 1999 Federated Logic Conference, 1999.
[22] P. Traverso and P. Bertoli. Mechanized result verication: an industrial appli-
cation. In
Run-Time Result Verication
. The 1999 Federated Logic Conference,
1999.
Search WWH ::
Custom Search