| 
|
Quote: desired properties for state machines--absence of deadlock, completeness, and liveness; catch basic flaws and unwarranted assumptions
topics >
all references >
references g-h >
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.
Topic: state machine (67 items)
Topic: safety, liveness, and system properties (22 items)
Topic: deadlocks (21 items)
Topic: proving concurrent programs (37 items)