Verifying Temporal Properties of C Programs via Lazy Abstraction

@inproceedings{Duan2017VerifyingTP,
  title={Verifying Temporal Properties of C Programs via Lazy Abstraction},
  author={Zhao Duan and Cong Tian and Zhenhua Duan},
  booktitle={ICFEM},
  year={2017}
}