| 
|
Quote: assist a program checker with a table of assertions for each state of the machine with restrictions on the induction variables, and the next states
topics >
all references >
references t-z >
Topic:
decision table
Topic:
constructing proof and program together
Quotation Skeleton
In order to assist the checker, the programmer … tabulated … The upper part of the table gives the … the … induction variables. The lower part tells us which … [The checker] has also to verify that each of … Finally the checker has to verify that the … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: decision table (29 items)
Topic: constructing proof and program together (22 items)