JavaScript is disabled for your browser. Some features of this site may not work without it.
The Assertion Table System for the PL/CV2 Program Verifier

Author
Krafft, Dean B.
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.
Date Issued
1978-04Publisher
Cornell University
Subject
computer science; technical report
Previously Published As
http://techreports.library.cornell.edu:8081/Dienst/UI/1.0/Display/cul.cs/TR78-337
Type
technical report