| 
|
Quote: prove banking system by proving invariants: what was sent equals what was received, and vice versa
topics >
all references >
references t-z >
Topic:
program proof via assertions
Quotation Skeleton
Banking systems tend to be very concerned with … what was sent equals what was received … and 2) that what was received equals what … We have begun using assertions to replace more … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: program proof via assertions (61 items)