SMS dit: Computer Aided Verification