|
eCommons@Cornell >
College of Engineering >
Computer Science >
Computer Science Technical Reports >
Please use this identifier to cite or link to this item:
http://hdl.handle.net/1813/7457
| Title: | The Assertion Table System for the PL/CV2 Program Verifier |
| Authors: | Krafft, Dean B. |
| Keywords: | computer science
technical report |
| Issue Date: | Apr-1978 |
| Publisher: | Cornell University |
| Citation: | http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR78-337 |
| Abstract: | A system to implement the block structured storage of PL/CV2 assertions is described. The system allows certain simple logical deductions to be performed automatically. These include deductions involving propositional reasoning, associativity and commutativity of arithmetic operators, and reasoning about equality. The implementation is described at a conceptual level. |
| URI: | http://hdl.handle.net/1813/7457 |
| Appears in Collections: | Computer Science Technical Reports
|
Items in eCommons are protected by copyright, with all rights reserved, unless otherwise indicated.
|
