Using Automated Induxtion-based Theorem Provers for Reasoning about Concurrent Systems