Evaluating symbolic traversal algorithms applied to asynchronous concurrent systems | IEEE Conference Publication | IEEE Xplore