Map
Index
Random
Help
th

Quote: for reasoning about concurrent programs, replace weakest precondition and strongest postcondition with weakest and strongest invariants

topics > all references > references i-l > QuoteRef: lampL7_1990 , p. abstract



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.


Related Topics up

Topic: proving concurrent programs (37 items)

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