| 
|
Quote: safety properties are closed under behavior prefixes and stuttering
topics >
all references >
references a-b >
Topic:
safety, liveness, and system properties
Quotation Skeleton
A property P is a safety property iff … [it is closed under prefixes and stuttering, i.e., non-functional behavioral insertions] … Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safety, liveness, and system properties (22 items)