| 
|
Quote: for reasoning about concurrent programs, replace weakest precondition and strongest postcondition with weakest and strongest invariants
topics >
all references >
references i-l >
Topic:
proving concurrent programs
Quotation Skeleton
The weakest liberal precondition and strongest postcondition predicate … for reasoning about concurrent programs containing operations in … with more rigorous assertional ones. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: proving concurrent programs (37 items)