Formal verification of discrete event model.

Zhihao Lu, Rui Wang, Yong Guan

Browse the full ISSTA paper archive.