| 
|
Quote: reason about concurrent systems using safety (nothing bad can happen) and progress (something good will happen) assertions
topics >
all references >
references sa-sz >
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.
Topic: safety, liveness, and system properties (22 items)
Topic: proving concurrent programs (37 items)