Algorithmic Logic-based Verification