Mark Saaltink. The Verdi Logic [Working Draft]. I. P. Sharp Associates, Ltd., 1986.  Home/Search   Document Not in Database   Summary   Related Articles

....in which the line is drawn somewhere above the highest level executable code in the system. Some verification work addresses code proofs, where traditionally the line has been drawn at the definition of a high level programming language like Gypsy [6, 7, 8] Pascal [19] Fortran [2] and others [20, 5, 13, 17, 4]. There has been some work on compiler verification, notably the work of Polak [15] in which a compiler for a Pascal subset is verified. Finally, there has been some recent work closer to the bottom of the system stack. For example, Gordon [9] and Hunt [10] draw the line essentially at the ....

Mark Saaltink. The Verdi Logic [Working Draft]. I. P. Sharp Associates, Ltd., 1986.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC