[CSUSB]>> [CNS]>> [CSE]>> [R J Botting]>> biba.php
Bibliographic Item (1.0)
- Marvin V Zelkowitz
- A Functional Correctness Model of Program Verification
- IEEE Computer magazine V23n11(Nov 1990)pp30-39
- =DEMO Formal Functional Education Trace Tables
- Trace_table::=trace_table_header #trace_table_row.
- trace_table_header::="Part"><"Cond"><#variable.
- trace_table_row::= statement_part><predicate><#expression.
predicates and expressions expressed in terms of initial values of variables.
Table
|
---|
Part
| Cond
| x
| y
|
x:=x+y
| true
| x+y
| y
|
if(x>y)
| x+y > y
| "
| "
|
y:=x-1
| true
| "
| x+y-1
|
(Close Table)
Search for bibliographic items containing a matching string. Search for a specific bibliographic item by name.
To see the complete bibliography (1Mb+) select:[Bibliography]