Map
Index
Random
Help
th

Quote: for concurrent programming, prove that bad things can't happen and good things do; i.e., an expression of the program's variables; avoids process interleavings

topics > all references > references sa-sz > QuoteRef: schnFB4_1998 , p. 128



Topic:
safety, liveness, and system properties
Topic:
proving concurrent programs

Quotation Skeleton

Identify a relation between the program variables that … relation implies the "bad thing" is impossible. … It turns out that all functional specifications for … Identify an expression involving the program variables that … expression (a) is decreased by some program actions … rules for "bad things" and "good things" do … program being analyzed.   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: safety, liveness, and system properties (22 items)
Topic: proving concurrent programs (37 items)

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