UCLID5

UCLID5: Formal Modeling, Verification, and Synthesis of Hardware-Software
Systems