| 
|
QuoteRef: dargPT10_2006
Topic:
model checker
Reference
Darga, P.T., Boyapati, C., "Efficient software model checking of data structure properties", Proceeding of the 21st International Conference on Object-Oriented Programming, Systems, Languages, and Applications (OOPSLA 2006), Portland Oregon USA, ACM SIGPLAN, October 2006, pp. 363-381. Google
abstract ;;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
Topic: model checker (49 items)