| 
|
QuoteRef: vangR7_1978
topics >
all references >
ThesaHelp:
references t-z
Group:
program proving
Topic:
program proof via assertions
Reference
van Ghent, R., "Letter on real software, regarding the commentary by Dijkstra and the reply by DeMillo, Lipton, and Perlis", SIGSOFT Software Engineering Notes, 3, 3, pp. 20-21, July 1978. Google
20 ;;Quote: used assertions to improve the reliability and correctness of real software at Chase Manhattan Bank
20 ;;Quote: proved correct ordering of partial records by inserting assertions at each control point; prevented sequencing errors
21 ;;Quote: prove banking system by proving invariants: what was sent equals what was received, and vice versa
ThesaHelp: references t-z (309 items)
Group: program proving (10 topics, 310 quotes)
Topic: program proof via assertions (61 items)