USAT: An Integrated Platform for Satisfiability Solving and Model Checking | IEEE Conference Publication | IEEE Xplore