Exploiting heap symmetries in explicit-state model checking of software | IEEE Conference Publication | IEEE Xplore