BTOR2-Based C Program Verification via Hardware Model Checking

Xinyu Zhang, Runxuan Fang, Ziqun Bao +3

Program verification tools often rely on specific intermediate representations and analysis backends, limiting the reuse of verification algorithms and model checkers across framew…