A new simulation-based property checking algorithm based on partitioned alternative search space traversal | IEEE Conference Publication | IEEE Xplore