Map
Index
Random
Help
th

QuoteRef: vangR7_1978

topics > all references > ThesaHelp: references t-z



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

Quotations
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

Related Topics up

ThesaHelp: references t-z (309 items)
Group: program proving   (10 topics, 310 quotes)
Topic: program proof via assertions (61 items)

Collected barberCB 1980
Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.