Transcript Tools for Automated Verification of Concurrent Software