Multi-core Model Checking Algorithms for LTL Verification with Fairness Assumptions.

Xuan-Linh Ha, Thanh Tho Quan, Yang Liu, Jun Sun

Browse the full APSEC paper archive.