LMC

Medical abbreviations:
LMC

Lotos Model Checker