| 
|
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 >
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.
Topic: safety, liveness, and system properties (22 items)
Topic: proving concurrent programs (37 items)