Verification by theorem proving: issues and challenges