Full regular temporal property verification as dynamic program execution.

Meng Wang, Cong Tian, Zhenhua Duan

Browse the full ICSE paper archive.