Map
Index
Random
Help
th

Quote: reason about concurrent systems using safety (nothing bad can happen) and progress (something good will happen) assertions

topics > all references > references sa-sz > QuoteRef: shanAU9_1993 , p. 226



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

Quotation Skeleton

In these [assertional] methods we reason about a … [Lamport 1977, IEEE Trans Soft. Engin.]. Informally, a safety assertion states that "nothing bad can happen" … happen" (e.g., x will eventually become 5) …   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.