Concurrent On-the-Fly SCC Detection for Automata-Based Model Checking with Fairness Assumption.

Zhimin Wu, Yi Xu, Akin Gnay, Yang Liu, Shengchao Qin

Browse the full ICECCS paper archive.