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
Keywords :
equality logic , finite instantiation , uninterpreted functions , translation validation , range allocation. , compiler verification
Journal title :
Information and Computation
Journal title :
Information and Computation
