Map
Index
Random
Help
th

Quote: desired properties for state machines--absence of deadlock, completeness, and liveness; catch basic flaws and unwarranted assumptions

topics > all references > references g-h > QuoteRef: holzGJ5_1999 , p. 602



Topic:
state machine
Topic:
safety, liveness, and system properties
Topic:
deadlocks
Topic:
proving concurrent programs

Quotation Skeleton

Especially for larger applications, the default checks [e.g., absence of deadlock, completeness, liveness] prove to be quite effective in detecting basic flaws in … of other entities in the application's environment.   Google-1   Google-2

Copyright clearance needed for quotation.


Related Topics up

Topic: state machine (67 items)
Topic: safety, liveness, and system properties (22 items)
Topic: deadlocks (21 items)
Topic: proving concurrent programs (37 items)

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