Stuck-free conformance (2004)

by Cédric Fournet, C A R Hoare, Sriram K Rajamani, Jakob Rehof
Venue:In Proceedings of the 16th International Conference on Computer Aided Verification (CAV), volume 3114 of LNCS