| 
|
Quote: safety properties such as deadlock and assertions have linear cost in number of reachable states
topics >
all references >
references g-h >
Topic:
model checker
Quotation Skeleton
To prove safety properties, such as absence of … reachable states R, both in (CPU) time and … cycles, requires twice as much time, but no … [ref] Google-1 Google-2
Copyright clearance needed for quotation.
Additional Titles
Quote: liveness properties such as starvation and acceptance cycles take same memory and twice as much time as safety properties
Topic: model checker (49 items)