| 
|
QuoteRef: cartWC_1978
topics >
all references >
ThesaHelp:
references c-d
Group:
program proving
Reference
Carter, W.C., Joyner, W.H., Jr., Brand, D., "Microprogram verification considered necessary", AFIPS National Computer Conference, 47, pp. 657-664, 1978. Google
662 ;;Quote: prove microcode program via an APL-like symbolic simulation on bit arrays; symbolic theorems and tests matched to actual
ThesaHelp: references c-d (337 items)
Group: program proving (10 topics, 310 quotes)