WLMC

Medical abbreviations:
WLMC

World Level Model Checking