Map
Index
Random
Help
th

Quote: safety properties such as deadlock and assertions have linear cost in number of reachable states

topics > all references > references g-h > QuoteRef: holzGJ5_1997 , p. 283



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

Related Topics up

Topic: model checker (49 items)

Copyright © 2002-2008 by C. Bradford Barber. All rights reserved.
Thesa is a trademark of C. Bradford Barber.