Tun Li, Yang Guo, Sikun Li: CLP Based Static Property Checking. ATVA 2004: 495-498