Verifying Temporal Properties of C Programs via Lazy Abstraction.

Zhao Duan, Cong Tian, Zhenhua Duan

Browse the full ICFEM paper archive.