Map
Index
Random
Help
th

Quote: order of magnitude faster model checker by pruning similar states; e.g., red-black trees only touch one path in the tree from root to a leaf

QuoteRef: dargPT10_2006 , p. abstract



Topic:
model checker

Quotation Skeleton

Our key idea is as follows. As our … [model] … program analysis techniques to identify other red-black tree … S'_k on which the operation o behaves similarly. … every s'_i. … It thus safely prunes those state transitions from … Our preliminary results show orders of magnitude improvement … [p. 363] Our checker detects that any red-black tree … to a leaf (and perhaps some nearby nodes). … path (and some nearby nodes), rather than on … We call this the glass box approach to …   Google-1   Google-2

Copyright clearance needed for quotation.


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.