SMV

Medical abbreviations:
SMV

Symbolic Model Verifier