Title of article
The Small Model Property: How Small Can It Be?
Author/Authors
Amir Pnueli، نويسنده , , Yoav Rodeh، نويسنده , , Ofer Strichman، نويسنده , , Michael Siegel، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2002
Pages
15
From page
279
To page
293
Keywords
equality logic , finite instantiation , uninterpreted functions , translation validation , range allocation. , compiler verification
Journal title
Information and Computation
Serial Year
2002
Journal title
Information and Computation
Record number
262089
Link To Document