| 
|
Quote: a safety assertion is a behavioral invariant that is derivable from the specified modes and mode transitions; checked
topics >
all references >
references a-b >
Topic:
safety, liveness, and system properties
Quotation Skeleton
Modes and mode transitions specify system properties that … [safety] assertions are redundant information which already exists in the behavioral … invariant properties. Google-1 Google-2
Copyright clearance needed for quotation.
Topic: safety, liveness, and system properties (22 items)