ParaMoC: A Parallel Model Checker for Pushdown Systems.

Hansheng Wei, Xin Ye, Jianqi Shi, Yanhong Huang

Browse the full ICA3PP paper archive.